Question

Clarifying the definition of an axiomatic system

score 2.3k · Answer 1 · 2013-06-01 00:49:53

2.3k

Views

Clarifying the definition of an axiomatic system

Published on 01 Jun 2013 - 0:49

score 361 · Answer 2 · 2013-06-01 23:20:42

361

Views

Does "=" have to be interpreted as equality?

Published on 01 Jun 2013 - 23:20

score 537 · Answer 3 · 2026-03-30 06:47:29

537

Views

Is the internal language of a topos complete, sound and effective?

Published on 30 Mar 2026 - 6:47

score 275 · Answer 4 · 2013-06-05 02:33:29

275

Views

Different kinds of systems

Published on 05 Jun 2013 - 2:33

score 645 · Answer 5 · 2026-03-27 17:52:57

645

Views

How is the standard model of number theory specified, and why can't we use that specification to prove any number theoretical sentence of interest?

Published on 27 Mar 2026 - 17:52

score 310 · Answer 6 · 2026-02-23 04:42:59

310

Views

In linear logic sequent calculus, can $\Gamma \vdash \Delta$ and $\Sigma \vdash \Pi$ be combined to get $\Gamma, \Sigma \vdash \Delta, \Pi$?

Published on 23 Feb 2026 - 4:42

score 513 · Answer 7 · 2013-06-12 01:05:40

513

Views

Unprovable unprovability

Published on 12 Jun 2013 - 1:05

score 84 · Answer 8 · 2013-07-14 03:33:20

84

Views

Show $s(s(a))=s(b)$ implies $s(a)=b$

Published on 14 Jul 2013 - 3:33

score 8.4k · Answer 9 · 2013-07-20 18:26:05

8.4k

Views

What does "prove by induction" mean?

Published on 20 Jul 2013 - 18:26

score 2.4k · Answer 10 · 2026-03-27 19:32:11

2.4k

Views

Are the Gödel's incompleteness theorems valid for both classical and intuitionistic logic?

Published on 27 Mar 2026 - 19:32

score 6.5k · Answer 11 · 2026-03-28 20:54:07

6.5k

Views

Books on logic, proof theory and set theory?

Published on 28 Mar 2026 - 20:54

score 175 · Answer 12 · 2013-08-02 05:49:08

175

Views

How can arithmetic express claims of the form $\Sigma \vdash \sigma$ when $\Sigma$ is infinite?

Published on 02 Aug 2013 - 5:49

score 157 · Answer 13 · 2026-03-27 19:32:37

157

Views

Have I understood the whole Incompleteness business correctly?

Published on 27 Mar 2026 - 19:32

score 238 · Answer 14 · 2013-08-15 11:39:21

238

Views

Epistemic disjunction, axiom or rule?

Published on 15 Aug 2013 - 11:39

score 230 · Answer 15 · 2026-03-27 06:15:38

230

Views

What is the meaning of proof of a proof?

Published on 27 Mar 2026 - 6:15

List Question

Clarifying the definition of an axiomatic system

Does "=" have to be interpreted as equality?

Is the internal language of a topos complete, sound and effective?

Different kinds of systems

How is the standard model of number theory specified, and why can't we use that specification to prove any number theoretical sentence of interest?

In linear logic sequent calculus, can $\Gamma \vdash \Delta$ and $\Sigma \vdash \Pi$ be combined to get $\Gamma, \Sigma \vdash \Delta, \Pi$?

Unprovable unprovability

Show $s(s(a))=s(b)$ implies $s(a)=b$

What does "prove by induction" mean?

Are the Gödel's incompleteness theorems valid for both classical and intuitionistic logic?

Books on logic, proof theory and set theory?

How can arithmetic express claims of the form $\Sigma \vdash \sigma$ when $\Sigma$ is infinite?

Have I understood the whole Incompleteness business correctly?

Epistemic disjunction, axiom or rule?

What is the meaning of proof of a proof?

Trending Questions

Popular # Hahtags

Popular Questions