MATH
Login Or Sign up

List Question

15
989
Views

Formalized proof for any (already proven) theorem of Mathematics?

Published on
#logic #incompleteness #formal-proofs #meta-math
112
Views

Understanding the role of Metatheories through an example

Published on
#logic #incompleteness #meta-math
247
Views

Why do models of ZF which are not $\omega$-models have non-standard formulas whose length is "infinitely large natural numbers"?

Published on
#logic #set-theory #model-theory #meta-math #nonstandard-models
167
Views

Formulation of constructible power in terms of Gödel operations; Going through metatheory

Published on
#logic #set-theory #meta-math
321
Views

Complex Constants

Published on
#terminology #definition #meta-math
73
Views

Is there a point at which you can no longer formally define something in math?

Published on
#meta-math #formal-systems
74
Views

Does "equivalence" of sets of axioms imply equality of the resulting theories?

Published on
#logic #meta-math
109
Views

Are Real Numbers a Formal System?

Published on
#real-numbers #axioms #meta-math #formal-systems
86
Views

Is there an open mathematical conjecture which has been shown not to be provable in Peano Arithmetic before (possibly) being proved true?

Published on
#logic #conjectures #meta-math
128
Views

Borders of set theory

Published on
#logic #set-theory #meta-math
84
Views

Simultaneous / blended develop logic and set theory?

Published on
#logic #set-theory #foundations #meta-math #metalogic
157
Views

Introduction to Metamathematics by S C Kleene. Help with exercise *135b needed.

Published on
#logic #foundations #meta-math
404
Views

What does it really mean for a model to be pointwise definable?

Published on
#logic #set-theory #first-order-logic #model-theory #meta-math
117
Views

Error in Kleene "Introduction to Metamathematics" parentheses lemmas?

Published on
#elementary-set-theory #logic #meta-math
239
Views

Physics and Riemann hypothesis

Published on
#riemann-hypothesis #meta-math

Trending Questions

Popular # Hahtags

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

Popular Questions

Copyright © 2021 JogjaFile Inc.