Question

Are "axioms" in topology theory really axioms?

score 552 · Answer 1 · 2012-01-29 19:54:56

552

Views

Are "axioms" in topology theory really axioms?

Published on 29 Jan 2012 - 19:54

score 1k · Answer 2 · 2026-03-26 12:41:16

1k

Views

What are metatheory, metalanguage and meta-...

Published on 26 Mar 2026 - 12:41

score 4.6k · Answer 3 · 2012-02-22 01:37:57

4.6k

Views

Why is it considered unlikely that there could be a contradiction in ZF/ZFC?

Published on 22 Feb 2012 - 1:37

score 2.1k · Answer 4 · 2012-02-22 20:30:52

2.1k

Views

Geometric proof of existence of irrational numbers.

Published on 22 Feb 2012 - 20:30

score 6.9k · Answer 5 · 2026-03-25 18:24:37

6.9k

Views

Why are all the interesting constants so small?

Published on 25 Mar 2026 - 18:24

score 2.2k · Answer 6 · 2012-03-28 23:36:22

2.2k

Views

Mathematical structures and signature

Published on 28 Mar 2012 - 23:36

score 2k · Answer 7 · 2012-04-18 18:59:32

2k

Views

Is there a way of defining the notion of a variable mathematically?

Published on 18 Apr 2012 - 18:59

score 109 · Answer 8 · 2012-04-29 05:36:30

109

Views

An "internal" condition on $T$ so that for the standard provability predicate, $T$ proves $\text{Pf}(\underline S)$ implies $T$ proves $S$?

Published on 29 Apr 2012 - 5:36

score 219 · Answer 9 · 2012-04-29 23:37:41

219

Views

If $T$ proves $\operatorname{Con}(ZFC)$, is $T$ at least as strong as set theory?

Published on 29 Apr 2012 - 23:37

score 309 · Answer 10 · 2012-06-20 15:04:02

309

Views

Has anyone ever tried to develop a theory based on a negation of a commonly believed conjecture?

Published on 20 Jun 2012 - 15:04

score 2.5k · Answer 11 · 2026-02-23 12:02:39

2.5k

Views

How to address mistakes in published papers?

Published on 23 Feb 2026 - 12:02

score 109 · Answer 12 · 2012-08-15 05:15:29

109

Views

Does a "solution map" system like this already exist?

Published on 15 Aug 2012 - 5:15

score 228 · Answer 13 · 2012-09-02 14:07:51

228

Views

Separation of mathematics and metamathematics

Published on 02 Sep 2012 - 14:07

score 665 · Answer 14 · 2012-09-07 19:37:07

665

Views

Are there formal systems that can not be proved to be complete or incomplete?

Published on 07 Sep 2012 - 19:37

score 2.1k · Answer 15 · 2012-09-13 16:55:21

2.1k

Views

What branch of mathematics is most needed in the industry or how one can make living with mathematics (apart from teaching)?

Published on 13 Sep 2012 - 16:55

List Question

Are "axioms" in topology theory really axioms?

What are metatheory, metalanguage and meta-...

Why is it considered unlikely that there could be a contradiction in ZF/ZFC?

Geometric proof of existence of irrational numbers.

Why are all the interesting constants so small?

Mathematical structures and signature

Is there a way of defining the notion of a variable mathematically?

An "internal" condition on $T$ so that for the standard provability predicate, $T$ proves $\text{Pf}(\underline S)$ implies $T$ proves $S$?

If $T$ proves $\operatorname{Con}(ZFC)$, is $T$ at least as strong as set theory?

Has anyone ever tried to develop a theory based on a negation of a commonly believed conjecture?

How to address mistakes in published papers?

Does a "solution map" system like this already exist?

Separation of mathematics and metamathematics

Are there formal systems that can not be proved to be complete or incomplete?

What branch of mathematics is most needed in the industry or how one can make living with mathematics (apart from teaching)?

Trending Questions

Popular # Hahtags

Popular Questions