Question

Is there a countable computably saturated model of ZFC that correctly solves the halting problem?

score 117 · Answer 1 · 2018-05-21 16:45:36

117

Views

Is there a countable computably saturated model of ZFC that correctly solves the halting problem?

Published on 21 May 2018 - 16:45

score 2k · Answer 2 · 2026-03-17 05:34:17

2k

Views

Resources like "How to solve it" by Polya

Published on 17 Mar 2026 - 5:34

score 137 · Answer 3 · 2026-03-17 07:34:21

137

Views

ZFC-Infinity+PA: Does it prove Con(PA)?

Published on 17 Mar 2026 - 7:34

score 181 · Answer 4 · 2026-03-25 01:27:00

181

Views

Can two different models of arithmetic have non-comparable views of peano arithmetic?

Published on 25 Mar 2026 - 1:27

score 210 · Answer 5 · 2026-03-22 05:16:42

210

Views

Can second order peano arithmetic prove that first order peano arithmetic is sound?

Published on 22 Mar 2026 - 5:16

score 112 · Answer 6 · 2026-03-25 01:28:04

112

Views

Metaphysical/psychological aspects of describing a formal language (mentioned in Bourbaki)

Published on 25 Mar 2026 - 1:28

score 343 · Answer 7 · 2026-03-21 10:29:16

343

Views

Are Mathematicians Pluralists About Math?

Published on 21 Mar 2026 - 10:29

score 68 · Answer 8 · 2026-03-17 09:41:20

68

Views

How is this geometrical invariant called in English?

Published on 17 Mar 2026 - 9:41

score 122 · Answer 9 · 2018-06-22 08:22:09

122

Views

Questions about the statement "Every number can be specified by less than twenty words."

Published on 22 Jun 2018 - 8:22

score 145 · Answer 10 · 2026-03-25 01:20:38

145

Views

What do the Incompleteness theorems really say about the inexhaustibility of mathematics.

Published on 25 Mar 2026 - 1:20

score 195 · Answer 11 · 2018-07-06 15:32:46

195

Views

Can truth be defined by a 'same-level' language according to Tarski's undefinability theorem?

Published on 06 Jul 2018 - 15:32

score 161 · Answer 12 · 2026-03-17 08:11:12

161

Views

Alternatives for Integers in fundamental mathematics?

Published on 17 Mar 2026 - 8:11

score 81 · Answer 13 · 2026-03-17 10:33:20

81

Views

Beth's theorem through Robinson Lemma

Published on 17 Mar 2026 - 10:33

score 133 · Answer 14 · 2026-03-17 15:34:48

133

Views

Are "Discovery Systems" still not viable in mathematics?

Published on 17 Mar 2026 - 15:34

score 73 · Answer 15 · 2026-03-17 22:16:05

73

Views

Strongest axiomatic systems accepted as consistent by math community

Published on 17 Mar 2026 - 22:16

List Question

Is there a countable computably saturated model of ZFC that correctly solves the halting problem?

Resources like "How to solve it" by Polya

ZFC-Infinity+PA: Does it prove Con(PA)?

Can two different models of arithmetic have non-comparable views of peano arithmetic?

Can second order peano arithmetic prove that first order peano arithmetic is sound?

Metaphysical/psychological aspects of describing a formal language (mentioned in Bourbaki)

Are Mathematicians Pluralists About Math?

How is this geometrical invariant called in English?

Questions about the statement "Every number can be specified by less than twenty words."

What do the Incompleteness theorems really say about the inexhaustibility of mathematics.

Can truth be defined by a 'same-level' language according to Tarski's undefinability theorem?

Alternatives for Integers in fundamental mathematics?

Beth's theorem through Robinson Lemma

Are "Discovery Systems" still not viable in mathematics?

Strongest axiomatic systems accepted as consistent by math community

Trending Questions

Popular # Hahtags

Popular Questions