Search results

• Constructive logic
  ...D valign="top">[1]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign=
  10 KB (1,524 words) - 20:25, 4 June 2020
• Talk:Peano axioms
  * S.C. Kleene, ''Introduction to Metamathematics'', North-Holland (1951).
  11 KB (1,772 words) - 15:39, 15 June 2015
• Enumeration
  ...urveys'' , '''16''' : 3 (1961) pp. 77–129 ((Also in: A.I. Mal'cev, The metamathematics of algebraic systems, North-Holland, 1971, Chapt. 18)) ''Uspekhi Mat. Nauk
  12 KB (1,895 words) - 06:04, 7 June 2024
• Constructive semantics
  ...D valign="top">[3]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR></table>
  12 KB (1,856 words) - 21:00, 4 June 2020
• Arithmetic, formal
  ...<TD valign="top">[1]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR>
  12 KB (1,840 words) - 19:36, 9 February 2024
• Logical calculus
  ...D valign="top">[2]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign=
  12 KB (1,934 words) - 19:30, 28 October 2023
• Modal logic
  ...]</TD> <TD valign="top"> E. Rasiowa, R. Sikorski, "The mathematics of metamathematics" , Polska Akad. Nauk (1963)</TD></TR><TR><TD valign="top">[4]</TD> <TD val
  13 KB (1,978 words) - 20:34, 14 January 2021
• Logico-mathematical calculus
  ...D valign="top">[3]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign=
  13 KB (1,882 words) - 04:11, 6 June 2020
• Boolean algebra
  ...]</TD> <TD valign="top"> E. Rasiowa, R. Sikorski, "The mathematics of metamathematics" , Polska Akad. Nauk (1963)</TD></TR><TR><TD valign="top">[7]</TD> <TD val
  14 KB (2,077 words) - 21:17, 17 January 2021
• Recursive model theory
  ...urveys'' , '''16''' : 3 (1961) pp. 77–129 ((Also in: A.I. Mal'cev, The metamathematics of algebraic systems, North-Holland, 1971, Chapt. 18)) ''Uspekhi Mat. Nauk
  14 KB (1,981 words) - 08:10, 6 June 2020
• Lindenbaum method
  [14] Helena Rasiowa and Roman Sikorski, ''The mathematics of metamathematics'', third ed., PWN—Polish Scientific Publishers, Warsaw, 1970, Monografie [20] Alfred Tarski, ''Logic, Semantics, Metamathematics.'' Papers from 1923 to 1938, Oxford at the Clarendon Press, 1956, Translate
  33 KB (5,175 words) - 19:12, 7 December 2023
• Antinomy
  ...D valign="top">[2]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR></table>
  13 KB (2,182 words) - 15:16, 16 December 2020
• Turing machine
  ...><TD valign="top">[3]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="
  14 KB (2,355 words) - 12:40, 28 December 2013
• Model theory
  ...<TD valign="top"> A. Robinson, "Introduction to model theory and to the metamathematics of algebra" , North-Holland (1963)</TD></TR><TR><TD valign="top">[3]</TD>
  17 KB (2,788 words) - 15:19, 16 December 2020
• Axiomatic method
  ...valign="top">[a1]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1959) pp. Chapt. XIV</TD></TR></table>
  17 KB (2,707 words) - 10:02, 25 April 2020
• Talk:Hilbert 2nd problem
  ::::Probably, Hilbert would be disturbed, too. Metamathematics was created as a finitary theory that avoids infinity in order to be more r ...ord "model" is beyond the language of this theory (geometry, not logic nor metamathematics), but worse, we need a quantifier over all possible models! Nowadays, one
  39 KB (6,093 words) - 19:21, 24 February 2016
• Normal form (for matrices)
  ...<TD valign="top">[a1]</TD> <TD valign="top"> S.C. Kleene, "Introduction to metamathematics" , North-Holland (1951) pp. 288 {{MR|1234051}} {{MR|1570642}} {{MR|0051790}
  51 KB (7,267 words) - 07:39, 14 January 2024

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)