Axiom - PDFSEARCH.IO - Document Search Engine

Axiom
Results: 922

#	Item
791	Mathematical Linguistics ´s Kornai Add to Reading List Source URL: www.helsinki.fi Language: English - Date: 2002-07-09 07:49:28 Mathematical logic Axiom Mathematical proof Function Semantics Type theory Theory Formal system Set theory Logic Mathematics Science
792	Two Constructivist Aspects of Category Theory Add to Reading List Source URL: www.cwru.edu Language: English - Date: 2011-07-29 14:32:40 Mathematical constructivism Intuitionism Category theory Higher category theory Constructivism Topos Axiom of choice Intuitionistic logic Category Mathematics Mathematical logic Logic
793	Amending Frege’s Grundgesetze der Arithmetik [draft] To the memory of Nhˆe[removed]) Add to Reading List Source URL: www.ciul.ul.pt Language: English - Date: 2002-10-10 10:09:04 Philosophy of mathematics Type theory Axiom of reducibility Bertrand Russell Computability theory Logicism Gottlob Frege Principia Mathematica Function Mathematics Mathematical logic Logic
794	Matheology § 001 A matheologian is a man, or, in rare cases, a woman, who believes in thoughts that nobody can think, except, perhaps, a God, or, in rare cases, a Goddess. Add to Reading List Source URL: www.hs-augsburg.de Language: English - Date: 2013-10-26 02:12:40 Cardinal numbers Infinity Mathematical analysis Definable real number Axiom of choice Well-order Countable set Finite set Real number Mathematics Mathematical logic Set theory
795	Constructivist and Structuralist Foundations: Bishop’s and Lawvere’s Theories of Sets Erik Palmgren∗ Add to Reading List Source URL: www2.math.uu.se Language: English - Date: 2009-10-23 05:03:31 Function Category theory Axiom schema of replacement Constructivism Topos Sheaf Axiom of choice Zermelo–Fraenkel set theory Surjective function Mathematics Mathematical logic Functions and mappings
796	1 Whitehead’s Theory of Extension Add to Reading List Source URL: www.math.uni-bielefeld.de Language: English - Date: 2007-01-16 00:37:07 Ontology Holism Process philosophy Process theory Religion and science Axiom Mereology Scientific theory Euclidean geometry Algebra Mathematics Science
797	Reconstruction of quantum theory Alexei Grinbaum LPHS – Archives Henri Poincar´e (CNRS UMR 7117), Add to Reading List Source URL: philsci-archive.pitt.edu Language: English - Date: 2010-10-07 11:14:02 Mereology Introduction to quantum mechanics Theory Axiom Mathematical formulation of quantum mechanics Relational quantum mechanics Physics Quantum mechanics Interpretations of quantum mechanics
798	Rend. Sem. Mat. Univ. Pol. Torino Vol. 61, [removed]) Add to Reading List Source URL: seminariomatematico.dm.unito.it Language: English - Date: 2006-11-28 16:54:14 Descriptive set theory Axiom of projective determinacy Axiom of determinacy Axiom of choice L Θ Measure Universally measurable set Borel determinacy theorem Mathematical logic Set theory Determinacy
799	includestamp 1 Add to Reading List Source URL: www.math.uwaterloo.ca Language: English - Date: 2001-07-03 18:48:39 Formal systems Z notation Principia Mathematica Science Gottlob Frege Peano axioms Function Axiomatic system Axiom Mathematics Logic Mathematical logic
800	Vocabulaire technique et analytique de l’épistémologie Paris, Presses Universitaires de France coll. Premier Cycle, 1999, 872 p. Add to Reading List Source URL: www.er.uqam.ca Language: French - Date: 2011-01-11 05:26:07 Ceteris paribus Axiom schema of specification Pierre Duhem Classical definition of probability Fallacy Axiom of choice Axiom of regularity Axiom of infinity Axiom of extensionality Mathematical logic Set theory Axioms of set theory

UPDATE