VI.61. Jules Henri Poincaré Further Reading Cooke, RThe Mathematics of Sonya Kovalevskaya.

First Page		Document Content
Date: 2008-08-22 12:44:37 Philosophers of mathematics Formal systems Giuseppe Peano Peano axioms Richard Dedekind Henri Poincaré Axiomatic system Axiom Philosophy of mathematics Mathematics Mathematical logic Number theorists		VI.61. Jules Henri Poincaré Further Reading Cooke, RThe Mathematics of Sonya Kovalevskaya. Add to Reading List Source URL: press.princeton.edu Download Document from Source Website File Size: 206,50 KB Share Document on Facebook

	MSC axioms MSC problems MSC001-1.p A Blind Hand Problem at(a, there, b) ⇒ ¬ at(a, here, b) cnf(clause1 , axiom) cnf(clause2 , axiom) DocID: 1vjZG - View Document
	PLA axioms PLA001-0.ax Blocks world axioms (holds(x, state) and holds(y, state)) ⇒ holds(and(x, y), state) cnf(and definition, axiom) (holds(empty, state) and holds(clear(x), state) and differ(x, table)) ⇒ holds(hol DocID: 1vjaE - View Document
	COM axioms COM001+1.ax Common axioms for progress/preservation proof ∀ve: valphaEquivalent(ve, ve) fof(’alpha-equiv-refl’, axiom) ∀ve2 , ve1 : (valphaEquivalent(ve1 , ve2 ) ⇒ valphaEquivalent(ve2 , ve1 )) DocID: 1vaFb - View Document
	PUZ axioms PUZ001-0.ax Mars and Venus axioms from mars(x) or from venus(x) cnf(from mars or venus, axiom) cnf(not from mars and venus, axiom) from mars(x) ⇒ ¬ from venus(x) DocID: 1v5ap - View Document
	MED axioms MED001+0.ax Physiology Diabetes Mellitus type 2 Physiological mechanisms of diabetes mellitus type 2 ∀x: ¬ gt(x, x) fof(irreflexivity gt, axiom) DocID: 1v2ha - View Document