17

Answers

votes newest views recent

1

Is there any formal foundation to ultrafinitism?

1

Physics and Church–Turing Thesis

4

Set theories without “junk” theorems?

5

Essential reads in the philosophy of mathematics and set theory

2

Intuitive and/or philosophical explanation for set theory paradoxes

1

History of Logic Development

1

Can ZFC prove “false theorems”, and still be consistent? (was “Junk Theorems” follow up)

8

Why Does Induction Prove Multiplication is Commutative? (2)

1

Even XOR Odd Infinities?

5

What axioms are used to prove Godel’s Incompleteness Theorems?

1

Is there any straightforward way to substitute for Gaussian/Brownian assumptions in financial mathematics?

2

Subsystems of Peano arithmetic and incompleteness theorem

1

Finite versions of Godel' s incompleteness

2

One can earn nothing on the Brownian motion, true ?

5

Should I mention my study of set theory when applying for a job outside of university?

2

How do you restrict the induction axiom in second (or higher) order logic?

0

Reference request: Minimal Axiomatizations of PA over (+,x,<=).