List questions from formal-systems | MathQA

Is it coherent to treat the C programming language as a formal system?

Published on 27 Apr 2022 - 17:01

Why can't we add a self-consistency axiom to an already consistent system?

Published on 15 May 2022 - 3:16

Is Kleene's realizability recursive?

Published on 17 May 2022 - 19:36

What does it really mean for a formal system to be consistent?

Published on 01 Jul 2022 - 22:41

What makes a set theory?

Published on 12 Aug 2022 - 17:36

Reference for basic metatheory of Martin-Löf type theory

Published on 15 Aug 2022 - 7:59

Are ZFC and Formal Number theory already built upon the intuitive notion of set and natural number?

Published on 18 Aug 2022 - 8:47

Why does natural deduction get its name?

Published on 31 Oct 2022 - 15:21

Clarification about positive definition of prime numbers in book Douglas Hofstadter "Gödel, Escher, Bach: An eternal golden braid"

Published on 16 Dec 2022 - 10:23

Prove $\vdash((\alpha\rightarrow\beta)\rightarrow\gamma)\rightarrow(\neg \gamma\rightarrow\alpha)$ in P.

Published on 26 Dec 2022 - 11:22

Axiomatic proof of $⊢(a→b)→(¬b→¬a)$ without using the deduction theorem

Published on 29 Dec 2022 - 7:35

Which language will be generated by the following grammar?

Published on 26 Mar 2026 - 4:50