MATH
Login Or Sign up

List Question

15
377
Views

Should axioms be seen as "building blocks of definitions"?

Published on
#logic #axioms #philosophy #meta-math
118
Views

Maximum possible reputation? (NOT a meta question)

Published on
#probability #statistics #dynamical-systems #game-theory #meta-math
193
Views

Exotic schemes of implications, examples

Published on
#logic #proof-writing #proof-theory #meta-math
148
Views

Is the style of _Scott 1967_ outdated in discussing continuum hypothesis in a probability space?

Published on
#measure-theory #set-theory #cardinals #meta-math
154
Views

Is there a weak set theory that can prove that the natural numbers is a model of PA?

Published on
#set-theory #model-theory #peano-axioms #meta-math #reverse-math
49
Views

How quickly can EFA define things, asymptotically?

Published on
#asymptotics #arithmetic #axioms #elementary-functions #meta-math
40
Views

Where to put the dot at the end of a sentence when using cases-figure?

Published on
#meta-math
73
Views

Set theory that proves that if its consistient, is only proves true things about arithmetic

Published on
#set-theory #arithmetic #natural-numbers #meta-math
76
Views

Do models (in logic) contain elements?

Published on
#logic #first-order-logic #meta-math
130
Views

Does specifying which variables depend on which other variables strengthen arithmetic?

Published on
#logic #predicate-logic #quantifiers #meta-math
290
Views

What does it means for a metatheory to be finitary?

Published on
#logic #first-order-logic #formal-languages #meta-math
252
Views

What does a proof that $\mathcal{N}$ is a model of $PA$ look like?

Published on
#logic #foundations #meta-math
5.9k
Views

What exactly is an equation?

Published on
#meta-math
14.4k
Views

Is mathematics just a bunch of nested empty sets?

Published on
#set-theory #philosophy #foundations #meta-math
122
Views

Misleading formulation in "which area is greater?" question

Published on
#geometry #meta-math

Trending Questions

Popular # Hahtags

geometry circles algebraic-number-theory functions real-analysis elementary-set-theory proof-verification proof-writing number-theory elementary-number-theory puzzle game-theory calculus multivariable-calculus partial-derivative complex-analysis logic set-theory second-order-logic homotopy-theory winding-number ordinary-differential-equations numerical-methods derivatives integration definite-integrals probability limits sequences-and-series algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.