MATH
Login Or Sign up

List Question

15
416
Views

What are the other foundations of math?

Published on
#foundations #philosophy
519
Views

Metamathematics and the foundations of mathematics

Published on
#logic #model-theory #foundations #proof-theory #meta-math
88
Views

Would there be any consequences in accepting conjectures that are essentially true?

Published on
#foundations
197
Views

Formalizing the deduction theorem in the metatheory

Published on
#logic #foundations #proof-theory #formal-proofs #meta-math
128
Views

Is there a notion differentiating $\frac1{\mbox{countable }\infty}$ and $\frac1{\mbox{uncountable }\infty}$?

Published on
#algebra-precalculus #limits #infinity #foundations #big-picture
608
Views

What is the most expressive logic?

Published on
#general-topology #logic #model-theory #foundations #proof-theory
462
Views

How strong is the axiom of well-ordered choice?

Published on
#set-theory #axiom-of-choice #foundations #well-orders
342
Views

Why is the Axiom of Well-ordered Choice not strong enough to prove Zorn's Lemma?

Published on
#set-theory #axiom-of-choice #foundations #well-orders
265
Views

Definitions in metamathematics

Published on
#logic #first-order-logic #model-theory #foundations #meta-math
114
Views

Finite axiomatization of second-order NBG

Published on
#set-theory #axioms #foundations
135
Views

Natural examples of "set-theorems" provable in MK but not ZFC and NBG

Published on
#set-theory #foundations
756
Views

Why do mathematicians generally write definitions in “declarative” rather than “imperative style?

Published on
#logic #foundations #programming #meta-math
128
Views

Nonstandard proof codes for Con(PA)

Published on
#logic #foundations #peano-axioms
108
Views

Prove that $\forall \epsilon>0, \epsilon>a \implies 0 \geq a$

Published on
#real-analysis #proof-writing #real-numbers #foundations
51
Views

Proof by Induction: Recursively Defined Sequential Set

Published on
#abstract-algebra #induction #recurrence-relations #foundations #transfinite-recursion

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.