MATH
Login Or Sign up

List Question

15
123
Views

A fundamental question about relations between axioms

Published on
#set-theory #euclidean-geometry #axioms #foundations #peano-axioms
1k
Views

How is first-order logic a strong enough logic for the foundations of mathematics?

Published on
#logic #set-theory #definition #first-order-logic #foundations
775
Views

Is mathematics really true?

Published on
#logic #foundations #philosophy
768
Views

Is set theory the most fundamental aspect of mathematics?

Published on
#logic #soft-question #set-theory #foundations
87
Views

A causal loop between set theory and language theory

Published on
#set-theory #foundations
479
Views

Is this theory as strong as ZFC?

Published on
#logic #set-theory #axioms #foundations #alternative-set-theories
150
Views

Proof of *2.38 in Principia Mathematica (Russell/Whitehead)

Published on
#logic #propositional-calculus #foundations #formal-systems
326
Views

Are we still Researching the Foundations of Math?

Published on
#soft-question #set-theory #axioms #foundations #research
230
Views

Set Theory Foundations book recommendation (meta-math)

Published on
#reference-request #set-theory #book-recommendation #foundations
96
Views

Is Physics a Good Argument for Classical Math

Published on
#physics #foundations #philosophy #constructive-mathematics
940
Views

The legitimacy of topos theory and intuitionism.

Published on
#foundations #philosophy #topos-theory #intuitionistic-logic #categorical-logic
718
Views

Can we build set theory from category theory?

Published on
#category-theory #set-theory #foundations
124
Views

Characterization of V-stages in the absence of foundation or replacement

Published on
#set-theory #first-order-logic #ordinals #foundations
296
Views

Example of how set theory is foundation for the rest of mathematics

Published on
#soft-question #set-theory #foundations
192
Views

Are axioms in math equivalent to production rules in unrestricted grammars?

Published on
#axioms #foundations #formal-grammar

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.