Metamathematics - PDFSEARCH.IO - Document Search Engine

Metamathematics
Results: 8

#	Item
1	On strong standard completeness of MTLQ ∗ expansions Amanda Vidal1 , Lluis Godo1 , and Francesc Esteva1 Artificial Intelligence Research Institute (IIIA - CSIC), Spain, [amanda][godo][esteva]@iiia.csic.es Add to Reading List Source URL: logica.dmi.unisa.it Language: English - Date: 2015-05-04 03:55:14 Fuzzy logic Mathematical logic Model theory Metalogic Proof theory Monoidal t-norm logic BL ukasiewicz logic First-order logic Completeness Axiom Metamathematics
2	Non-Omniscience, Probabilistic Inference, and Metamathematics Paul Christiano∗ June 22, 2014 Abstract Add to Reading List Source URL: intelligence.org Language: English - Date: 2014-06-22 13:59:27 Metalogic Philosophical logic Model theory Deduction Entailment Probabilistic logic Axiom Function First-order logic Logic Mathematics Mathematical logic
3	Non-Omniscience, Probabilistic Inference, and Metamathematics Paul Christiano∗ June 22, 2014 Abstract Add to Reading List Source URL: intelligence.org Language: English - Date: 2014-06-22 13:59:27 Metalogic Philosophical logic Model theory Deduction Entailment Probabilistic logic Axiom Function First-order logic Logic Mathematics Mathematical logic
4	Contents 17 Part I: Metamathematics and Metaphysics Add to Reading List Source URL: www.numerical-yoga-guru-rupnathji.net46.net Language: English - Date: 2013-02-20 06:43:19 Hilbert space Sturm–Liouville theory Tensor Spherical harmonics Vector space Singular value decomposition Eigenvalues and eigenvectors Metric tensor Rank Algebra Mathematics Linear algebra
5	On Formally Undecidable Propositions of Principia Mathematica Add to Reading List Source URL: jacqkrol.x10.mx Language: English - Date: 2013-09-21 05:15:44 Principia Mathematica Axiom On Formally Undecidable Propositions of Principia Mathematica and Related Systems Kurt Gödel Theorem Rule of inference Peano axioms Metamathematics Formal proof Logic Mathematics Mathematical logic
6	S e c t i o n ! : Mathematical and T h e o r e t i c a l Aspects o f A r t i f i c i a l l n t e l l i q e r . c c CHECKING PROOFS IN THE METAMATHEMATICS OF FIRST ORDER LOGIC Add to Reading List Source URL: ijcai.org Language: English - Date: 2008-09-30 05:17:55 Classical cipher Four-square cipher Computer programming Computing Software engineering
7	For Notes and records The interest of G.H. Hardy, F.R.S. Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2002-04-09 16:18:12 Fellows of the Royal Society Philosophy of mathematics Number theorists Cambridge University Moral Sciences Club Mathematical logic G. H. Hardy Metamathematics Logicism Formalism Mathematics Royal Society Philosophy
8	PDF Document Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2013-10-02 10:18:56 Epistemology Number theorists Philosophers of mathematics Foundations of mathematics David Hilbert Richard Dedekind Logic George Boole Metamathematics Mathematics Philosophy of mathematics Mathematical logic

UPDATE