<--- Back to Details
First PageDocument Content
Logic / Ontology / Branches of philosophy / Abstraction / Metalogic / Nominalism / Mathematical object / Foundations of mathematics / Mathematical logic / Mathematics / Philosophy / Philosophy of mathematics
Date: 2010-09-07 22:15:50
Logic
Ontology
Branches of philosophy
Abstraction
Metalogic
Nominalism
Mathematical object
Foundations of mathematics
Mathematical logic
Mathematics
Philosophy
Philosophy of mathematics

Edward N. Zalta Reflections on Mathematics∗

Add to Reading List

Source URL: mally.stanford.edu

Download Document from Source Website

File Size: 144,22 KB

Share Document on Facebook

Similar Documents

Chemistry / Separation processes / Sewerage / Water treatment / Philosophy / Logic / Exonumia / Metalogic / Token coin / Flocculation / Typetoken distinction / Sedimentation

Visual Sedimentation Samuel Huron, Romain Vuillemot, Jean-Daniel Fekete To cite this version: Samuel Huron, Romain Vuillemot, Jean-Daniel Fekete. Visual Sedimentation. IEEE Transactions on Visualization and Computer Grap

DocID: 1rhAK - View Document

Formal languages / Regular language / Regular expression / Brzozowski derivative / Symbol / Theoretical computer science / Grammar / Metalogic

Formalizing Symbolic Decision Procedures | {z in

DocID: 1rgM0 - View Document

Logic / Mathematics / Abstraction / Mathematical logic / Mathematical notation / Predicate logic / Elementary mathematics / Metalogic / Substitution / Term / Lambda calculus / Structure

From notation to semantics: there and back again Luca Padovani1 and Stefano Zacchiroli2 1 Information Science and Technology Institute, University of Urbino

DocID: 1qY5Z - View Document

Mathematics / Academia / Theoretical physics / Metalogic / Model theory / Mathematical model / Zariski geometry / Noncommutative geometry / Oscar Zariski

On model theory, non-commutative geometry and physics B. Zilber University of Oxford http://www.maths.ox.ac.uk/ e zilber/

DocID: 1qXA7 - View Document

Logic / Model theory / Abstraction / Mathematical logic / Semantics / Predicate logic / Metalogic / Structure / Homomorphism / Interpretation / Symbol / First-order logic

Quantified Constraints and Containment Problems∗ Hubie Chen Departament de Tecnologia, Universitat Pompeu Fabra, Barcelona, Spain. Florent Madelaine

DocID: 1qXjg - View Document