Find link

language:

Find link is a tool written by Edward Betts.

searching for Metamathematics 122 found (264 total)

General set theory (1,235 words) [view diff] exact match in snippet view article find links to article

is that these tiny fragments of set theory give rise to such rich metamathematics. While ST is a small fragment of the well-known canonical set theories

Robinson arithmetic (1,836 words) [view diff] exact match in snippet view article find links to article

instead of "<", may be found in Machover (1996, pp. 256–257). On the metamathematics of Q see Boolos, Burgess & Jeffrey (2002, chpt. 16), Tarski, Mostowski

Concatenation theory (291 words) [view diff] exact match in snippet view article find links to article

foundational for formal linguistics, computer science, logic, and metamathematics especially proof theory. A generative grammar can be seen as a recursive

Computational logic (375 words) [view diff] exact match in snippet view article find links to article

deals with how to make machines do deduction efficiently". In 1972 the Metamathematics Unit at the University of Edinburgh was renamed “The Department of

Natarajan Shankar (219 words) [view diff] exact match in snippet view article find links to article

Texas at Austin in 1986. His Ph.D. thesis was published as the book "Metamathematics, Machines, and Goedel's Proof" by Cambridge University Press in 1994

Bernard Meltzer (computer scientist) (403 words) [view diff] exact match in snippet view article

Computer Laboratory of the Science Research Council and then founded the Metamathematics Unit at the University of Edinburgh. The focus of the Unit was on automatic

2003 in philosophy (117 words) [view diff] exact match in snippet view article find links to article

Prize in Logic and Philosophy "for his works on the arithmetization of metamathematics, transfinite progressions of theories, and predicativity". T. M. Scanlon

Interior algebra (3,849 words) [view diff] no match in snippet view article find links to article

In abstract algebra, an interior algebra is a certain type of algebraic structure that encodes the idea of the topological interior of a set. Interior

Kleene's recursion theorem (3,095 words) [view diff] exact match in snippet view article find links to article

Stephen Kleene in 1938 and appear in his 1952 book Introduction to Metamathematics. A related theorem, which constructs fixed points of a computable function

Collectively exhaustive events (705 words) [view diff] exact match in snippet view article find links to article

Stephen Kleene's discussion of cardinal numbers, in Introduction to Metamathematics (1952), he uses the term "mutually exclusive" together with "exhaustive":

Valuation (logic) (358 words) [view diff] exact match in snippet view article

ISBN 978-3-540-20879-2 Rasiowa, Helena; Sikorski, Roman (1970), The Mathematics of Metamathematics (3rd ed.), Warsaw: PWN, chapter 6 Algebra of formalized languages.

Indicator function (2,537 words) [view diff] exact match in snippet view article find links to article

Press Books. pp. 41–74. Kleene, Stephen (1971) [1952]. Introduction to Metamathematics (Sixth reprint, with corrections ed.). Netherlands: Wolters-Noordhoff

Switch statement (2,360 words) [view diff] exact match in snippet view article find links to article

functional programming languages. In his 1952 text Introduction to Metamathematics, Stephen Kleene formally proves that the case function (the if-then-else

Intuitionism (2,811 words) [view diff] exact match in snippet view article find links to article

more rational consideration of intuitionism in his Introduction to metamathematics (1952). Nicolas Gisin is adopting intuitionist mathematics to reinterpret

Roman Sikorski (121 words) [view diff] exact match in snippet view article find links to article

Algebras (1960) Funkcje rzeczywiste (t. 1–2 1958–59) The Mathematics of Metamathematics (1963, together with Helena Rasiowa) Rachunek rózniczkowy i całkowy

Diagonal lemma (1,745 words) [view diff] exact match in snippet view article find links to article

14: 709–728. Petr Hájek & Pavel Pudlák, 2016 (first edition 1998). Metamathematics of First-Order Arithmetic. Springer Verlag. Peter Hinman, 2005. Fundamentals

Lindenbaum's lemma (158 words) [view diff] exact match in snippet view article find links to article

attributed to him by Alfred Tarski. Tarski, A. On Fundamental Concepts of Metamathematics, 1930. Crossley, J.N.; Ash, C.J.; Brickhill, C.J.; Stillwell, J.C.;

Ramsey theory (1,146 words) [view diff] exact match in snippet view article find links to article

Reimann An Introduction to Ramsey Theory: Fast Functions, Infinity, and Metamathematics Student Mathematical Library Volume: 87; 2018; 207 pp; ISBN 978-1-4704-4290-3

Lindenbaum–Tarski algebra (525 words) [view diff] exact match in snippet view article find links to article

Philosophy. A. Tarski (1983). J. Corcoran (ed.). Logic, Semantics, and Metamathematics — Papers from 1923 to 1938 — Trans. J.H. Woodger (2nd ed.). Hackett

Jan Łukasiewicz (2,686 words) [view diff] exact match in snippet view article find links to article

IV: Investigations into the Sentential Calculus", Logic, Semantics, Metamathematics: Papers from 1923 to 1938 by Alfred Tarski, translated by J. H., Woodger

True arithmetic (1,133 words) [view diff] exact match in snippet view article find links to article

Languages" appears in Corcoran, J., ed. (1983), Logic, Semantics and Metamathematics: Papers from 1923 to 1938 (2nd ed.), Hackett Publishing Company, Inc

Semantic theory of truth (1,050 words) [view diff] exact match in snippet view article find links to article

"The Concept of Truth in Formalized Languages". Logic, Semantics, Metamathematics, Indianapolis: Hackett 1983, 2nd edition, 152–278. Alfred Tarski, 1944

Enumeration reducibility (1,438 words) [view diff] exact match in snippet view article find links to article

ISBN 978-3-540-47142-4. Kleene, Stephen Cole, 1909-1994. (1971). Introduction to metamathematics. Groningen: Wolters-Noordhoff Pub. ISBN 0-7204-2103-9. OCLC 768949

Kurt Gödel (5,980 words) [view diff] exact match in snippet view article find links to article

Wang 1987. Page 80. Brewer, William D. "Kurt Gödel: The Genius of Metamathematics". Springer Nature. 2022. Page 250 Toates, Frederick. Olga Coschug-Toates

Fuzzy logic (6,608 words) [view diff] exact match in snippet view article find links to article

Wikidata Q25938993. Pelletier, Francis Jeffry (2000). "Review of Metamathematics of fuzzy logics" (PDF). The Bulletin of Symbolic Logic. 6 (3): 342–346

Closure operator (2,661 words) [view diff] exact match in snippet view article find links to article

Logic, Semantics, Metamathematics. Hackett (1956 ed., Oxford University Press). Alfred Tarski (1956) Logic, semantics and metamathematics. Oxford University

Petr Hájek (382 words) [view diff] exact match in snippet view article find links to article

tvorba hypotéz. Praha: Academia. Hájek, Petr; Pudlák, Pavel (1993). Metamathematics of First-Order Arithmetic. Berlin: Springer. Semiset Vališ, Zdeněk

Petr Hájek (382 words) [view diff] exact match in snippet view article find links to article

tvorba hypotéz. Praha: Academia. Hájek, Petr; Pudlák, Pavel (1993). Metamathematics of First-Order Arithmetic. Berlin: Springer. Semiset Vališ, Zdeněk

Uniqueness quantification (851 words) [view diff] exact match in snippet view article find links to article

of the compactness theorem. Kleene, Stephen (1952). Introduction to Metamathematics. Ishi Press International. p. 199. Andrews, Peter B. (2002). An introduction

Abraham Robinson (756 words) [view diff] exact match in snippet view article find links to article

Robinson, Abraham (1963), Introduction to model theory and to the metamathematics of algebra, Amsterdam: North-Holland, ISBN 978-0-7204-2222-1, MR 0153570

Brouwer–Hilbert controversy (4,395 words) [view diff] exact match in snippet view article find links to article

number theoretic functions and predicates ... In this theory, as in metamathematics, we shall use only finitary methods. The series of the natural numbers

Stephen Cole Kleene (1,674 words) [view diff] exact match in snippet view article find links to article

RM-704. The RAND Corporation. 15 December 1951. 1952. Introduction to Metamathematics. New York: Van Nostrand. 1952. p. 550. LCCN 53001848. OCLC 523942.

Reinhardt cardinal (825 words) [view diff] exact match in snippet view article find links to article

MR 0311478, S2CID 38948969 Reinhardt, W. N. (1967), Topics in the metamathematics of set theory, Doctoral dissertation, University of California, Berkeley

Gentzen's consistency proof (1,993 words) [view diff] exact match in snippet view article find links to article

Free Press. p. 502. Feferman, Solomon (1960). "Arithmetization of metamathematics in a general setting". Fundamenta Mathematicae. 49 (1): 35–92. doi:10

Extension by definition (1,508 words) [view diff] exact match in snippet view article find links to article

new constant and function names S. C. Kleene (1952), Introduction to Metamathematics, D. Van Nostrand E. Mendelson (1997). Introduction to Mathematical

Chong Chi Tat (386 words) [view diff] exact match in snippet view article find links to article

(2017), 121–141. Chi Tat Chong, Theodore A Slaman and Yue Yang, The metamathematics of stable Ramsey’s theorem for pairs, Journal of the American Mathematical

Random-access stored-program machine (2,620 words) [view diff] exact match in snippet view article find links to article

"languages", NP-Completeness, etc. Stephen Kleene (1952), Introduction to Metamathematics, North-Holland Publishing Company, Amsterdam, Netherlands. ISBN 0-7204-2103-9

Wang B-machine (515 words) [view diff] exact match in snippet view article find links to article

'program'". He references Melzak (1961) and Kleene (1952) Introduction to Metamathematics. Marvin Minsky (1967), Computation: Finite and Infinite Machines, Prentice-Hall

Natural deduction (7,815 words) [view diff] exact match in snippet view article find links to article

Introduction to metamathematics (Eleventh ed.). North-Holland. ISBN 978-0-7204-2103-3. Kleene, Stephen Cole (2009) [1952]. Introduction to metamathematics. Ishi

Helena Rasiowa (675 words) [view diff] exact match in snippet view article find links to article

through her iron will. 1963: (with Roman Sikorski) The Mathematics of Metamathematics 1974: An Algebraic Approach to Non-Classical Logics W. Bartol, E. Orlowska

Double negation (1,172 words) [view diff] exact match in snippet view article find links to article

Macmillan & Co. New York. Stephen C. Kleene, 1952, Introduction to Metamathematics, 6th reprinting with corrections 1971, North-Holland Publishing Company

Alan Bundy (796 words) [view diff] exact match in snippet view article find links to article

Bundy has worked at the University of Edinburgh: initially in the 'Metamathematics' Unit, which in 1972 became the Department of Computational Logic,

Hourya Benis Sinaceur (271 words) [view diff] exact match in snippet view article find links to article

Sinaceur, H., 2001. "Alfred Tarski: Semantic shift, heuristic shift in metamathematics", Synthese 126: 49–65. "Alfred Tarski Life and Logic", Review by Sinaceur

Automated reasoning (1,420 words) [view diff] exact match in snippet view article find links to article

Laboratory, SRI International. Retrieved 2010-10-19 Shankar, N. (1994), Metamathematics, Machines, and Gödel's Proof, Cambridge, UK: Cambridge University Press

'program'. He references Melzak (1961) and Kleene (1952) Introduction to Metamathematics. McCarthy (1960) Emil Post (1936) Shepherdson, Sturgis (1963): John

Mechanism (philosophy) (5,072 words) [view diff] exact match in snippet view article

consistent. Another work was done by Judson Webb in his 1968 paper "Metamathematics and the Philosophy of Mind". Webb claims that previous attempts have

László Kalmár (751 words) [view diff] exact match in snippet view article find links to article

Amsterdam: North-Holland. Kleene, Stephen Cole (1952). Introduction to Metamathematics. New York: Van Nostrand. OCLC 523942.reprint. Ishi Press. 13 March

Cut-elimination theorem (1,162 words) [view diff] exact match in snippet view article find links to article

(3): 204–218. Kleene, Stephen Cole (2009) [1952]. Introduction to metamathematics. Ishi Press International. ISBN 978-0-923891-57-2. Prawitz, Dag (1965)

History of type theory (2,823 words) [view diff] exact match in snippet view article find links to article

types of the arguments". Stephen Kleene in his 1952 Introduction to Metamathematics describes the ramified theory of types this way: The primary objects

Counter machine (4,761 words) [view diff] exact match in snippet view article find links to article

352. ISBN 0-201-44124-1. Kleene, Stephen (1952). Introduction to Metamathematics. Amsterdam, Netherlands: North-Holland Publishing Company. ISBN 0-7204-2103-9

T-norm fuzzy logics (3,222 words) [view diff] exact match in snippet view article find links to article

fuzzy logics and their classes began with Hájek's (1998) monograph Metamathematics of Fuzzy Logic, which presented the notion of the logic of a continuous

Hans Hahn (mathematician) (1,174 words) [view diff] exact match in snippet view article

1007/978-3-7091-6601-7_16. Brewer, William D. Kurt Gödel: The Genius of Metamathematics. Springer Nature. 2022, p. 177. According to S.Gottwald in his review

BL (logic) (835 words) [view diff] exact match in snippet view article

strong conjunction, which can be any continuous t-norm. Hájek P., 1998, Metamathematics of Fuzzy Logic. Dordrecht: Kluwer. Ono, H., 2003, "Substructural logics

BL (logic) (835 words) [view diff] exact match in snippet view article

strong conjunction, which can be any continuous t-norm. Hájek P., 1998, Metamathematics of Fuzzy Logic. Dordrecht: Kluwer. Ono, H., 2003, "Substructural logics

Proof theory (2,669 words) [view diff] exact match in snippet view article find links to article

(2001). "'Clarifying the nature of the infinite': the development of metamathematics and proof theory". Carnegie-Mellon Technical Report CMU-PHIL-120. Barwise

Elementary recursive function (1,744 words) [view diff] exact match in snippet view article find links to article

with German abstract. Kleene, Stephen Cole (1952). Introduction to Metamathematics. New York: Van Nostrand. OCLC 523942., reprint. Ishi Press. 13 March

MV-algebra (1,653 words) [view diff] exact match in snippet view article find links to article

Algebra 221: 463–474 doi:10.1006/jabr.1999.7900. Hájek, Petr (1998) Metamathematics of Fuzzy Logic. Kluwer. Mundici, D.: Interpretation of AF C*-algebras

David van Dantzig (923 words) [view diff] exact match in snippet view article find links to article

point of a life-long symbiosis of pupil and master in mathematics, metamathematics and significs... David van Dantzig at Mathematics Genealogy Project

Richard Sylvan (1,484 words) [view diff] exact match in snippet view article find links to article

16: 1–25. Routley, Richard (1979), "Dialectical Logic, Semantics and Metamathematics", Erkenntnis 14: 301–331. "Existence and identity in quantified modal

Principle of bivalence (2,159 words) [view diff] exact match in snippet view article find links to article

be considered "elementary". Stephen C. Kleene 1952 Introduction to Metamathematics, 6th Reprint 1971, North-Holland Publishing Company, Amsterdam, NY

Impredicativity (1,771 words) [view diff] exact match in snippet view article find links to article

1112/plms/s2-4.1.29 Stephen C. Kleene 1952 (1971 edition), Introduction to Metamathematics, North-Holland Publishing Company, Amsterdam NY, ISBN 0-7204-2103-9

Kleene's T predicate (1,207 words) [view diff] exact match in snippet view article find links to article

Undecidable, Martin Davis, ed., 1965, pp. 255–287. —, 1952, Introduction to Metamathematics, North-Holland. Reprinted by Ishi press, 2009, ISBN 0-923891-57-9.

Anatoly Maltsev (853 words) [view diff] exact match in snippet view article find links to article

Systems by A.I. Mal'cev, Springer-Verlag, 1973, ISBN 0-387-05792-7 The metamathematics of algebraic systems, collected papers:1936-1967 by A.I. Malcev, Amsterdam

Fuzzy subalgebra (714 words) [view diff] exact match in snippet view article find links to article

Lattice valued algebras, Stochastica, 11 (1987), 137-150. Hájek P., Metamathematics of fuzzy logic. Kluwer 1998. Klir G., UTE H. St.Clair and Bo Yuan Fuzzy

L. E. J. Brouwer (2,333 words) [view diff] exact match in snippet view article find links to article

Kleene, 1952 with corrections 1971, 10th reprint 1991, Introduction to Metamathematics, North-Holland Publishing Company, Amsterdam Netherlands, ISBN 0-7204-2103-9

Algorithm (7,123 words) [view diff] exact match in snippet view article find links to article

Church thesis). Kleene, Stephen C. (1991) [1952]. Introduction to Metamathematics (Tenth ed.). North-Holland Publishing Company. ISBN 978-0-7204-2103-3

Random-access machine (7,515 words) [view diff] exact match in snippet view article find links to article

"languages", NP-Completeness, etc. Stephen Kleene (1952), Introduction to Metamathematics, North-Holland Publishing Company, Amsterdam, Netherlands. ISBN 0-7204-2103-9

Many-valued logic (3,350 words) [view diff] exact match in snippet view article find links to article

Morgan & Claypool Publishers. ISBN 978-1-59829-190-2. Hájek P., (1998), Metamathematics of fuzzy logic. Kluwer. (Fuzzy logic understood as many-valued logic

Ω-consistent theory (1,988 words) [view diff] exact match in snippet view article find links to article

Quine (1971), Set Theory and Its Logic. S. C. Kleene, Introduction to Metamathematics (1971), p.207. Bibliotheca Mathematica: A Series of Monographs on Pure

Joseph Goguen (1,306 words) [view diff] exact match in snippet view article find links to article

Birkhäuser, Basel, pp. 113–133, doi:10.1007/978-3-7643-8354-1_7 Hájek P., Metamathematics of Fuzzy Logic, Kluwer, Dordrecht, sect. 2.1 (1998). ISBN 0-7923-5238-6

Metafont (3,149 words) [view diff] exact match in snippet view article find links to article

Vol. 3130, pp. 240–56. preprint Hofstadter, Douglas R., "Metafont, Metamathematics, and Metaphysics: Comments on Donald Knuth's Article 'The Concept of

Raymond Smullyan (2,716 words) [view diff] exact match in snippet view article find links to article

Cantor and Infinity. ISBN 0679406883. — (1993). Recursion Theory for Metamathematics. ISBN 019508232X. — (1994). Diagonalization and Self-Reference. Oxford:

Łukasiewicz logic (2,455 words) [view diff] exact match in snippet view article find links to article

Sci. et Lettres Varsovie Cl. III 23, 30–50 (1930). Hájek P., 1998, Metamathematics of Fuzzy Logic. Dordrecht: Kluwer. Ono, H., 2003, "Substructural logics

Stephen Wolfram (2,643 words) [view diff] exact match in snippet view article find links to article

of the alien logograms, for which they used the Wolfram Language. Metamathematics: Foundations & Physicalization, (2022), Wolfram Media, Inc, ASIN:B0BPN7SHN3

George Boolos (2,174 words) [view diff] exact match in snippet view article find links to article

and Philosophy of Logic. Solomon Feferman (1960) "Arithmetization of metamathematics in a general setting," Fundamentae Mathematica vol. 49, pp. 35–92.

Turing reduction (1,844 words) [view diff] exact match in snippet view article find links to article

Dover, 2004. ISBN 0-486-43228-9. S. C. Kleene, 1952. Introduction to Metamathematics. Amsterdam: North-Holland. S. C. Kleene and E. L. Post, 1954. "The

Actual and potential infinity (2,545 words) [view diff] exact match in snippet view article find links to article

Stephen C. Kleene 1952 (1971 edition, 10th printing), Introduction to Metamathematics, North-Holland Publishing Company, Amsterdam New York. ISBN 0-444-10088-1

Cardinal number (4,617 words) [view diff] exact match in snippet view article find links to article

ISSN 1439-7382. LCCN 2008940025. Kleene, Stephen Cole (1952). Introduction To Metamathematics. New York: D. Van Nostrand Company. Krivine, Jean-Louis (1971). Introduction

List of axiomatic systems in logic (3,906 words) [view diff] exact match in snippet view article find links to article

arXiv:cs/0205078v1 Investigations into the Sentential Calculus in Logic, Semantics, Metamathematics: Papers from 1923 to 1938 by Alfred Tarski, Corcoran, J., ed. Hackett

Three-valued logic (3,303 words) [view diff] exact match in snippet view article find links to article

relative to the evidence. Kleene, Stephen Cole (1952). Introduction to metamathematics. North-Holland Publishing Co., Amsterdam, and P. Noordhoff, Groningen

General recursive function (2,745 words) [view diff] exact match in snippet view article find links to article

Minsky 1972, pp. 189. Kleene, Stephen (1991) [1952]. Introduction to Metamathematics. Walters-Noordhoff & North-Holland. ISBN 0-7204-2103-9. Soare, R. (1999)

Mathematics (15,955 words) [view diff] exact match in snippet view article find links to article

2001). ""Clarifying the nature of the infinite": the development of metamathematics and proof theory" (PDF). Carnegie Mellon University. Archived (PDF)

Sequent (2,754 words) [view diff] exact match in snippet view article find links to article

ISBN 978-0-521-54310-1. Kleene, Stephen Cole (2009) [1952]. Introduction to metamathematics. Ishi Press International. ISBN 978-0-923891-57-2. Kleene, Stephen

John Corcoran (logician) (2,379 words) [view diff] exact match in snippet view article

Introduction and analytical index. In Tarski, A. Logic, Semantics, Metamathematics. Second ed. Edited by J. Corcoran. Trans. J. H. Woodger. Indianapolis:

Pragmatic mapping (700 words) [view diff] exact match in snippet view article find links to article

languages. In J. J. Woodger (Ed. and Trans.), Logic, semantics, and metamathematics (pp. 152–278). Oxford: Oxford University. (Original work published

Robertson–Seymour theorem (2,943 words) [view diff] exact match in snippet view article find links to article

44491. Friedman, Harvey; Robertson, Neil; Seymour, Paul (1987), "The metamathematics of the graph minor theorem", in Simpson, S. (ed.), Logic and Combinatorics

Bounded arithmetic (1,510 words) [view diff] exact match in snippet view article find links to article

a gentle introduction, Springer Hájek, Petr; Pudlák, Pavel (2016). Metamathematics of First-Order Arithmetic. Perspectives in Logic. Cambridge University

Law of excluded middle (5,631 words) [view diff] exact match in snippet view article find links to article

6th printing with corrections, 10th printing 1991, Introduction to Metamathematics, North-Holland Publishing Company, Amsterdam, New York, ISBN 0-7204-2103-9

Computability theory (6,464 words) [view diff] exact match in snippet view article find links to article

Retrieved 2017-08-23. Kleene, Stephen Cole (1952). Introduction to Metamathematics. North-Holland. pp. 300, 376. Davis, Martin, ed. (2004) [1965]. The

Halting problem (7,369 words) [view diff] exact match in snippet view article find links to article

Institute of Technology. Kleene, Stephen Cole (1952). Introduction to metamathematics. North-Holland. OCLC 523942. OL 52444455M.. Chapter XIII ("Computable

List of publications in philosophy (5,271 words) [view diff] exact match in snippet view article find links to article

Sellars, "Inference and Meaning", 1953 Alfred Tarski, Logic, Semantics, Metamathematics: Papers from 1923 to 1938, 1956/1983 William Kneale and Martha Kneale

Turing machine (9,354 words) [view diff] exact match in snippet view article find links to article

Addison–Wesley. ISBN 0-201-44124-1. Stephen Kleene (1952), Introduction to Metamathematics, North–Holland Publishing Company, Amsterdam Netherlands, 10th impression

Gunk (mereology) (1,519 words) [view diff] exact match in snippet view article

(1983). "Foundations of the Geometry of Solids". Logic, semantics, metamathematics: papers from 1923 to 1938 (2. ed., edited and introduced by John Corcoran ed

Μ operator (3,228 words) [view diff] exact match in snippet view article find links to article

contains "0": pp. 332ff Kleene, Stephen (2009) [1952], Introduction to Metamathematics, North-Holland, ISBN 9780923891572, OCLC 935015457 Kohlenbach, Ulrich

Solomonoff's theory of inductive inference (2,093 words) [view diff] exact match in snippet view article find links to article

edition), MIT Press, 1999. Kleene, Stephen C. (1952), Introduction to Metamathematics (First ed.), Amsterdam: North-Holland. Li Ming; Vitanyi, Paul, An Introduction

Mereology (7,575 words) [view diff] exact match in snippet view article find links to article

"Foundations of the Geometry of Solids" in his Logic, Semantics, Metamathematics: Papers 1923–38. Woodger, J., and Corcoran, J., eds. and trans. Hackett

Deflationary theory of truth (3,154 words) [view diff] exact match in snippet view article find links to article

Research 4 (3), 341–376. Tarski, Alfred (1983), Logic, Semantics, Metamathematics: Papers from 1923 to 1938, J.H. Woodger (trans.), Oxford University

Willard Van Orman Quine (6,497 words) [view diff] exact match in snippet view article find links to article

include types. However, Quine's set theory does not feature types. The metamathematics of NF are curious. NF allows many "large" sets the now-canonical ZFC

Francisco Dória (1,000 words) [view diff] exact match in snippet view article find links to article

in those papers. N. C. A. da Costa, F. A. Dória and E. Bir, "On the metamathematics of the P vs. NP question," to be published in Applied Mathematics and

Primitive recursive function (7,424 words) [view diff] exact match in snippet view article find links to article

[1952], "Chapter XI. General Recursive Functions §57", Introduction to Metamathematics (7th reprint; 2nd ed.), North-Holland Publishing Company, ISBN 0444100881

Intuitionistic logic (8,028 words) [view diff] exact match in snippet view article find links to article

French) Rasiowa, Helena; Sikorski, Roman (1963). The Mathematics of Metamathematics. Monografie matematyczne. Warsaw: Państwowe Wydawn. Naukowe. p. 519

Principia Mathematica (9,479 words) [view diff] exact match in snippet view article find links to article

ISBN 978-0-521-42706-7. Kleene, Stephen Cole (1952). Introduction to Metamathematics (6th reprint ed.). Amsterdam, New York: North-Holland Publishing Company

T-norm (2,818 words) [view diff] exact match in snippet view article find links to article

Norms. Dordrecht: Kluwer. ISBN 0-7923-6416-3. Hájek, Petr (1998), Metamathematics of Fuzzy Logic. Dordrecht: Kluwer. ISBN 0-7923-5238-6 Cignoli, Roberto

Sequent calculus (6,142 words) [view diff] exact match in snippet view article find links to article

ISBN 978-3-030-57144-3. Kleene, Stephen Cole (2009) [1952]. Introduction to metamathematics. Ishi Press International. ISBN 978-0-923891-57-2. Kleene, Stephen

Fuzzy control system (5,609 words) [view diff] exact match in snippet view article find links to article

Research Studies Press [u.a.] ISBN 978-0-86380-131-0. Hájek, Petr (1998). Metamathematics of fuzzy logic (4 ed.). Springer Science & Business Media. Zadeh, L

Heyting algebra (6,320 words) [view diff] exact match in snippet view article find links to article

92–130. Helena Rasiowa; Roman Sikorski (1963). The Mathematics of Metamathematics. Państwowe Wydawnictwo Naukowe (PWN). pp. 54–62, 93–95, 123–130. A

Boolean algebras canonically defined (8,230 words) [view diff] exact match in snippet view article find links to article

2307/1989664. JSTOR 1989664. Tarski, Alfred (1983). Logic, Semantics, Metamathematics, Corcoran, J., ed. Hackett. 1956 1st edition edited and translated

Cardinality (13,749 words) [view diff] exact match in snippet view article find links to article

ISSN 1439-7382. LCCN 2008940025. Kleene, Stephen Cole (1952). Introduction To Metamathematics. New York: D. Van Nostrand Company. Krivine, Jean-Louis (1971). Introduction

Induction, bounding and least number principles (1,211 words) [view diff] exact match in snippet view article find links to article

{\displaystyle {\mathsf {RCA}}_{0}} . Hájek, Petr; Pudlák, Pavel (2016). Metamathematics of First-Order Arithmetic. Association for Symbolic Logic c/- Cambridge

Logicism (11,850 words) [view diff] exact match in snippet view article find links to article

Russell to Frege, etc. Stephen C. Kleene, 1971, 1952, Introduction To Metamathematics 1991 10th impression,, North-Holland Publishing Company, Amsterdam

Ambigram (11,380 words) [view diff] exact match in snippet view article find links to article

p. 320. ISBN 978-0-30-027543-8. Hofstadter, Douglas R., "Metafont, Metamathematics, and Metaphysics: Comments on Donald Knuth's Article 'The Concept of

Monoidal t-norm logic (3,718 words) [view diff] exact match in snippet view article find links to article

(similarly as BL is the logic of continuous t-norms). Hájek P., 1998, Metamathematics of Fuzzy Logic. Dordrecht: Kluwer. Esteva F. & Godo L., 2001, "Monoidal

Propositional formula (11,131 words) [view diff] exact match in snippet view article find links to article

Date incompatibility (help) Kleene, Stephen (1952). Introduction to metamathematics. Amsterdam: North-Holland Publishing Company. Bender, Edward A. and

Counter-machine model (3,371 words) [view diff] exact match in snippet view article find links to article

German). 5: 366–379. Kleene, Stephen Cole (1952). Introduction to Metamathematics. New York: D. Van Nostrand Company, Inc. p. 550. LCCN 53001848. OCLC 523942

Meanings of minor-planet names: 13001–14000 (445 words) [view diff] exact match in snippet view article find links to article

mathematician and philosopher, best known for his work on model theory, metamathematics, and algebraic logic JPL · 13672 13673 Urysohn 1997 LC Pavel Samuilovich

Glossary of artificial intelligence (29,679 words) [view diff] exact match in snippet view article find links to article

fuzzy systems (2 ed.). Research Studies Press Ltd. Hájek, Petr (1998). Metamathematics of fuzzy logic (4 ed.). Springer Science & Business Media. D. Dubois

Leon Henkin (10,254 words) [view diff] exact match in snippet view article find links to article

directly related to his research area, such as "Mathematical Logic", "Metamathematics" or "Cylindric Algebra", but others extended to a great diversity of

History of the Church–Turing thesis (8,298 words) [view diff] exact match in snippet view article find links to article

Numbers Kleene, S. C., 1971, 1952 (10th impression 1991) Introduction to Metamathematics, 550 pages, North-Holland Publishing Company (Wolters-Noordhoff Publishing)

Algorithm characterizations (8,991 words) [view diff] exact match in snippet view article find links to article

Church Thesis). Kleene, Stephen C. (1991) [1952]. Introduction to Metamathematics (Tenth ed.). North-Holland Publishing Company. Excellent — accessible

List of Jewish mathematicians (15,722 words) [view diff] exact match in snippet view article find links to article

optimization Gregory Chaitin (born 1947), algorithmic information theory and metamathematics Herman Chernoff (born 1923), applied mathematics and statistics Alexey

List of Bronx High School of Science alumni (10,607 words) [view diff] exact match in snippet view article find links to article

Gregory Chaitin made contributions to algorithmic information theory and metamathematics, in particular a new incompleteness theorem similar in spirit to Gödel's

Hilbert system (3,534 words) [view diff] exact match in snippet view article find links to article

response (pp. 490–495) Kleene, Stephen Cole (1952). Introduction to Metamathematics (10th impression with 1971 corrections ed.). Amsterdam NY: North Holland