Question

Theory of arithmetic equiconsistent with ZF

score 128 · Answer 1 · 2019-10-04 16:06:11

128

Views

Theory of arithmetic equiconsistent with ZF

Published on 04 Oct 2019 - 16:06

score 34 · Answer 2 · 2019-10-16 12:04:41

34

Views

Why are summation/product operators not much welcomed as being part of closed form expressions, even if they have finite terms?

Published on 16 Oct 2019 - 12:04

score 955 · Answer 3 · 2026-03-09 05:47:50

955

Views

Is a variable/arbitrary element a precisely defined mathematical object?

Published on 09 Mar 2026 - 5:47

score 286 · Answer 4 · 2026-02-23 06:38:00

286

Views

Confusion about soundness of sequent calculus

Published on 23 Feb 2026 - 6:38

score 295 · Answer 5 · 2019-11-13 03:02:48

295

Views

What alternatives are there to the generalized continuum hypothesis?

Published on 13 Nov 2019 - 3:02

score 35 · Answer 6 · 2019-12-04 07:32:00

35

Views

Example of logic (concept) that can not be embedded (expressed) in Isabelle/HOL?

Published on 04 Dec 2019 - 7:32

score 248 · Answer 7 · 2019-12-15 22:13:47

248

Views

Estimating meta-mathematical properties of conjectures

Published on 15 Dec 2019 - 22:13

score 150 · Answer 8 · 2019-12-19 19:07:45

150

Views

Are there projects that visualize how proofs relate to each other (similar to what the Paperscape Project does for publications)?

Published on 19 Dec 2019 - 19:07

score 223 · Answer 9 · 2019-12-21 22:45:25

223

Views

Where do new mathematicians come from?

Published on 21 Dec 2019 - 22:45

score 83 · Answer 10 · 2019-12-22 17:39:32

83

Views

Non-string symbolic languages (e.g. diagrams) as "formal languages"

Published on 22 Dec 2019 - 17:39

score 173 · Answer 11 · 2020-01-26 16:39:35

173

Views

Shoenfield's approach to the metamathematics of forcing

Published on 26 Jan 2020 - 16:39

score 253 · Answer 12 · 2020-01-31 16:37:41

253

Views

A finitist Gödel second incompleteness theorem

Published on 31 Jan 2020 - 16:37

score 79 · Answer 13 · 2020-02-13 22:01:36

79

Views

(Functional) space of all lambda types (algorithms)?

Published on 13 Feb 2020 - 22:01

score 106 · Answer 14 · 2020-02-22 15:12:00

106

Views

Is it possible that there is an axiom we have not discovered yet?

Published on 22 Feb 2020 - 15:12

score 95 · Answer 15 · 2026-03-25 07:43:10

95

Views

Necessary and sufficient conditions on antecedent for deduction theorem

Published on 25 Mar 2026 - 7:43

List Question

Theory of arithmetic equiconsistent with ZF

Why are summation/product operators not much welcomed as being part of closed form expressions, even if they have finite terms?

Is a variable/arbitrary element a precisely defined mathematical object?

Confusion about soundness of sequent calculus

What alternatives are there to the generalized continuum hypothesis?

Example of logic (concept) that can not be embedded (expressed) in Isabelle/HOL?

Estimating meta-mathematical properties of conjectures

Are there projects that visualize how proofs relate to each other (similar to what the Paperscape Project does for publications)?

Where do new mathematicians come from?

Non-string symbolic languages (e.g. diagrams) as "formal languages"

Shoenfield's approach to the metamathematics of forcing

A finitist Gödel second incompleteness theorem

(Functional) space of all lambda types (algorithms)?

Is it possible that there is an axiom we have not discovered yet?

Necessary and sufficient conditions on antecedent for deduction theorem

Trending Questions

Popular # Hahtags

Popular Questions