Uber lormal unentscheidbare S~tze der Principia Mathematica und verwandter Systeme I~). Von Kur~ GSdel in Wien. it Die Entwicklung der Mathematik in der Richtung zu grS~erer

Source URL: metalab.at

frobenioidspdf

Source URL: www.kurims.kyoto-u.ac.jp

• Constructible universe
• IP
• Model theory
• Mathematics
• Creativity
• Logic
• Principia Mathematica

Notation - Book of Abstracts

Source URL: www.ttu.ee

• Logic
• Philosophy
• Abstraction
• Philosophical logic
• Existential graph
• Diagrammatic reasoning
• Quantifier
• First-order logic
• Charles Sanders Peirce
• Polish notation
• Philosophy of logic
• Principia Mathematica

Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Paul E. Oppenheimer Center for the Study of Language and Information Stanford University

Source URL: www.peoppenheimer.org

• Model theory
• Mathematical logic
• Formal languages
• Predicate logic
• Metalogic
• First-order logic
• Principia Mathematica
• Interpretation
• Well-formed formula
• Lambda calculus
• Constructible universe
• Structure

Reflecting Higher-Order Abstract Syntax in Nuprl? Eli Barzilay and Stuart Allen Cornell University {eli,sfa}@cs.cornell.edu Abstract. This document describes part of an effort to achieve in Nuprl a practical reflection o

Source URL: barzilay.org

• Automated theorem proving
• Logic programming
• Integral calculus
• Free variables and bound variables
• Mathematical notation
• Predicate logic
• Substitution
• Term
• Integration by substitution
• Principia Mathematica

Model Finding for Recursive Functions in SMT Andrew Reynolds1 , Jasmin Christian Blanchette2,3 , Simon Cruanes2 , and Cesare Tinelli1 1 2

Source URL: people.mpi-inf.mpg.de

• Model theory
• Interpretation
• First-order logic
• Symbol
• Structure
• operator
• Principia Mathematica

Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg

Source URL: events.cs.bham.ac.uk

• Set theory
• Principia Mathematica
• Science
• Extensionality
• Axiom of extensionality
• Intensional
• Intension
• Intuitionistic type theory
• Deductive lambda calculus

JulyAntiquariat Michael Kühn Berlin

Source URL: www.kuehn-books.de

• Robert Thorp
• Copernican Revolution
• Thorp
• Philosophi Naturalis Principia Mathematica

Paul Oppenheimer and Edward N. Zalta Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations∗ Paul E. Oppenheimer

Source URL: www.peoppenheimer.org

• Logic
• Mathematical logic
• Mathematics
• Model theory
• Formal languages
• Predicate logic
• Metalogic
• First-order logic
• Principia Mathematica
• Interpretation
• Well-formed formula
• Lambda calculus

Preface, Principia Mathematica, 1st ed., vol. 1 

Source URL: users.drew.edu