Question

Godelian sentences in other first order languages

score 73 · Answer 1 · 2026-03-29 17:26:56

73

Views

Godelian sentences in other first order languages

Published on 29 Mar 2026 - 17:26

score 73 · Answer 2 · 2026-03-29 14:02:11

73

Views

What proof system is this paper by Hamano and Okada introducing?

Published on 29 Mar 2026 - 14:02

score 548 · Answer 3 · 2026-03-31 05:39:48

548

Views

Why is it not important what mathematical objects are?

Published on 31 Mar 2026 - 5:39

score 46 · Answer 4 · 2026-03-25 20:12:54

46

Views

Axiomization of constructive primitive recursive arithmetic without induction

Published on 25 Mar 2026 - 20:12

score 215 · Answer 5 · 2022-07-15 20:21:32

215

Views

Is reading less rigorous (and partially historical/contextual) math “textbooks” a waste of time?

Published on 15 Jul 2022 - 20:21

score 272 · Answer 6 · 2022-07-16 21:36:10

272

Views

Why is the axiom of foundation not presented in terms of its, arguably more intuitive, negation?

Published on 16 Jul 2022 - 21:36

score 85 · Answer 7 · 2022-07-17 22:19:12

85

Views

Defining equivalence of categories without using functors

Published on 17 Jul 2022 - 22:19

score 326 · Answer 8 · 2026-03-31 03:35:08

326

Views

Is there anyway to quantify how difficult a statement is to prove in Mathematics?

Published on 31 Mar 2026 - 3:35

score 120 · Answer 9 · 2022-07-31 00:57:33

120

Views

Definition of inductive predicate in first order logic

Published on 31 Jul 2022 - 0:57

score 303 · Answer 10 · 2022-08-02 07:48:38

303

Views

(Proper) classes and the General Adjoint Functor Theorem

Published on 02 Aug 2022 - 7:48

score 176 · Answer 11 · 2026-02-24 01:44:32

176

Views

Different axioms for Euclidean geometry and other bodies of knowledge

Published on 24 Feb 2026 - 1:44

score 582 · Answer 12 · 2026-03-31 03:31:14

582

Views

Do the everyday mathematician and the model theorist mean the same thing by "truth"?

Published on 31 Mar 2026 - 3:31

score 90 · Answer 13 · 2026-03-30 12:16:26

90

Views

axiom of choice and existence of non-smooth Borel equivalence relation

Published on 30 Mar 2026 - 12:16

score 149 · Answer 14 · 2026-03-25 03:07:08

149

Views

Presburger arithmetic is consistent, but relative to what?

Published on 25 Mar 2026 - 3:07

score 332 · Answer 15 · 2026-03-31 07:38:46

332

Views

How do we understand a 'universe' in the context of Mathematics?

Published on 31 Mar 2026 - 7:38

List Question

Godelian sentences in other first order languages

What proof system is this paper by Hamano and Okada introducing?

Why is it not important what mathematical objects are?

Axiomization of constructive primitive recursive arithmetic without induction

Is reading less rigorous (and partially historical/contextual) math “textbooks” a waste of time?

Why is the axiom of foundation not presented in terms of its, arguably more intuitive, negation?

Defining equivalence of categories without using functors

Is there anyway to quantify how difficult a statement is to prove in Mathematics?

Definition of inductive predicate in first order logic

(Proper) classes and the General Adjoint Functor Theorem

Different axioms for Euclidean geometry and other bodies of knowledge

Do the everyday mathematician and the model theorist mean the same thing by "truth"?

axiom of choice and existence of non-smooth Borel equivalence relation

Presburger arithmetic is consistent, but relative to what?

How do we understand a 'universe' in the context of Mathematics?

Trending Questions

Popular # Hahtags

Popular Questions