Newbetuts
.
New posts in foundations
Is formal truth in mathematical logic a generalization of everyday, intuitive truth?
logic
soft-question
philosophy
foundations
formal-systems
How can someone reject a math result if everything has to be proved?
real-analysis
logic
set-theory
foundations
philosophy
Where to begin with foundations of mathematics
logic
reference-request
soft-question
set-theory
foundations
Why is it worth spending time on type theory?
category-theory
foundations
type-theory
Foundation for analysis without axiom of choice?
set-theory
axiom-of-choice
foundations
What is the definition of a set?
algebra-precalculus
set-theory
definition
foundations
Most presentations of ZF seem to be incomplete
set-theory
foundations
Is it possible to formulate category theory without set theory?
category-theory
foundations
Infinite sets don't exist!?
elementary-set-theory
logic
philosophy
foundations
Does mathematics require axioms?
logic
soft-question
philosophy
axioms
foundations
Is mathematics just a bunch of nested empty sets?
set-theory
philosophy
foundations
meta-math
Why is the construction of the real numbers important?
analysis
soft-question
foundations
Why can't you add apples and oranges, but you can multiply and divide them?
soft-question
physics
foundations
Is math built on assumptions?
soft-question
education
philosophy
foundations
nonclassical-logic
Are sets and symbols the building blocks of mathematics?
logic
computer-science
foundations
Does mathematics become circular at the bottom? What is at the bottom of mathematics? [duplicate]
elementary-set-theory
logic
foundations
Mathematical ideas that took long to define rigorously
soft-question
definition
math-history
big-list
foundations
Is mathematics one big tautology?
soft-question
philosophy
foundations
Prev