Question

Meaning and example(s) of Qiaochu's quote.

score 1k · Answer 1 · 2012-10-17 05:47:35

1k

Views

Meaning and example(s) of Qiaochu's quote.

Published on 17 Oct 2012 - 5:47

score 129 · Answer 2 · 2012-11-07 17:35:22

129

Views

A Simpler Characterization of Inductive Definitions?

Published on 07 Nov 2012 - 17:35

score 4.5k · Answer 3 · 2012-11-23 13:24:57

4.5k

Views

Is mathematics the only language that is not subject of interpretation?

Published on 23 Nov 2012 - 13:24

score 511 · Answer 4 · 2012-11-29 09:45:55

511

Views

question about Gödel numbering

Published on 29 Nov 2012 - 9:45

score 350 · Answer 5 · 2013-01-03 16:29:21

350

Views

The mathematics of mathematical knowledge

Published on 03 Jan 2013 - 16:29

score 1.1k · Answer 6 · 2013-01-10 20:17:56

1.1k

Views

Clarification of a remark of J. Steel on the independence of Goldbach from ZFC

Published on 10 Jan 2013 - 20:17

score 101 · Answer 7 · 2020-08-09 15:30:16

101

Views

Existence Introduction on Kleene's Introduction to Metamathematics

Published on 09 Aug 2020 - 15:30

score 140 · Answer 8 · 2026-03-26 10:58:06

140

Views

Why doesn't this show that first-order Peano arithmetic is consistent?

Published on 26 Mar 2026 - 10:58

score 132 · Answer 9 · 2020-09-08 12:02:11

132

Views

Can it be shown that there exists no finite proof of CH from second-order set theory?

Published on 08 Sep 2020 - 12:02

score 98 · Answer 10 · 2020-09-26 17:48:29

98

Views

Proof verification- Am not comfortable enough with the concept of absoluteness to know if my proofs are correct.

Published on 26 Sep 2020 - 17:48

score 61 · Answer 11 · 2020-10-28 12:56:42

61

Views

Axioms and Definitions

Published on 28 Oct 2020 - 12:56

score 534 · Answer 12 · 2020-11-07 09:36:31

534

Views

Questions about foundations of mathematics

Published on 07 Nov 2020 - 9:36

score 83 · Answer 13 · 2020-11-09 21:07:59

83

Views

A question on the Substitution for predicate letters theorem as in Kleene Introduction to Metamathematics (1952)

Published on 09 Nov 2020 - 21:07

score 100 · Answer 14 · 2026-03-26 16:05:12

100

Views

A question about undecidable sentences with purely mathematical contents

Published on 26 Mar 2026 - 16:05

score 1.4k · Answer 15 · 2026-03-25 12:24:50

1.4k

Views

What is the difference between $\leftrightarrow$, $\iff$, and $\equiv$, especially when used in the same text?

Published on 25 Mar 2026 - 12:24

List Question

Meaning and example(s) of Qiaochu's quote.

A Simpler Characterization of Inductive Definitions?

Is mathematics the only language that is not subject of interpretation?

question about Gödel numbering

The mathematics of mathematical knowledge

Clarification of a remark of J. Steel on the independence of Goldbach from ZFC

Existence Introduction on Kleene's Introduction to Metamathematics

Why doesn't this show that first-order Peano arithmetic is consistent?

Can it be shown that there exists no finite proof of CH from second-order set theory?

Proof verification- Am not comfortable enough with the concept of absoluteness to know if my proofs are correct.

Axioms and Definitions

Questions about foundations of mathematics

A question on the Substitution for predicate letters theorem as in Kleene Introduction to Metamathematics (1952)

A question about undecidable sentences with purely mathematical contents

What is the difference between $\leftrightarrow$, $\iff$, and $\equiv$, especially when used in the same text?

Trending Questions

Popular # Hahtags

Popular Questions