Question

How does undecidability of 'theoremhood' imply that human ingenuity is necessary in mathematics?

score 360 · Answer 1 · 2014-04-24 01:02:15

How does undecidability of 'theoremhood' imply that human ingenuity is necessary in mathematics?

Published on 24 Apr 2014 - 1:02

score 209 · Answer 2 · 2014-04-25 07:42:41

"The enrapturing discoveries of our field systematically conceal (...) the analogical train of thought that is the authentic life of mathematics..."

score 1.8k · Answer 3 · 2014-04-26 17:59:16

1.8k

Views

How an axiomatic system is made?

Published on 26 Apr 2014 - 17:59

score 988 · Answer 4 · 2014-04-30 15:35:40

988

Views

Logical issues with the weak law of large numbers and its interpretation

Published on 30 Apr 2014 - 15:35

score 1.3k · Answer 5 · 2014-05-01 20:04:47

1.3k

Views

Do the Kolmogorov's axioms permit speaking of frequencies of occurence in any meaningful sense?

Published on 01 May 2014 - 20:04

score 133 · Answer 6 · 2014-05-05 23:37:40

133

Views

Variable theory

Published on 05 May 2014 - 23:37

score 707 · Answer 7 · 2014-05-07 14:44:23

707

Views

New Axioms of Infinity

Published on 07 May 2014 - 14:44

score 379 · Answer 8 · 2014-05-14 18:01:35

379

Views

Do circles exist

Published on 14 May 2014 - 18:01

score 2k · Answer 9 · 2014-05-15 18:36:01

2k

Views

Consistency of ZFC and the key assumption

Published on 15 May 2014 - 18:36

score 95 · Answer 10 · 2026-03-22 09:01:02

95

Views

Constructivist Interpretation of a Function

Published on 22 Mar 2026 - 9:01

score 198 · Answer 11 · 2014-05-19 23:41:50

198

Views

Question about the univalence axiom versus skeleta.

Published on 19 May 2014 - 23:41

score 152 · Answer 12 · 2014-05-21 13:17:38

152

Views

If a set is a group of objects, then what is an object?

Published on 21 May 2014 - 13:17

score 806 · Answer 13 · 2014-05-22 11:02:47

806

Views

Are there other approaches for the foundations of mathematics, other than logic and set theory?

Published on 22 May 2014 - 11:02

score 167 · Answer 14 · 2014-05-22 21:19:24

167

Views

When is it useful to reduce mathematical objects to foundational levels and when it is not?

Published on 22 May 2014 - 21:19

score 5.6k · Answer 15 · 2014-05-23 14:10:38

5.6k

Views

Is a proof still valid if only the writer understands it?

Published on 23 May 2014 - 14:10

List Question

How does undecidability of 'theoremhood' imply that human ingenuity is necessary in mathematics?

"The enrapturing discoveries of our field systematically conceal (...) the analogical train of thought that is the authentic life of mathematics..."

How an axiomatic system is made?

Logical issues with the weak law of large numbers and its interpretation

Do the Kolmogorov's axioms permit speaking of frequencies of occurence in any meaningful sense?

Variable theory

New Axioms of Infinity

Do circles exist

Consistency of ZFC and the key assumption

Constructivist Interpretation of a Function

Question about the univalence axiom versus skeleta.

If a set is a group of objects, then what is an object?

Are there other approaches for the foundations of mathematics, other than logic and set theory?

When is it useful to reduce mathematical objects to foundational levels and when it is not?

Is a proof still valid if only the writer understands it?

Trending Questions

Popular # Hahtags

Popular Questions