Axiom - PDFSEARCH.IO - Document Search Engine

Axiom
Results: 922

#	Item
801	A Framework for Using Aldor Libraries with Maple Cosmin Oancea Add to Reading List Source URL: www.csd.uwo.ca Language: English - Date: 2005-09-08 14:52:05 Cross-platform software Data types Type theory Functional languages Aldor Axiom Maple Type system D Software engineering Computing Computer programming
802	The method of exhaustion The method of exhaustion is a technique that the classical Greek mathematicians used to prove results that would now be dealt with by means of limits. It amounts to an early form of integral calculus. Almost Add to Reading List Source URL: www.math.ubc.ca Language: English - Date: 2003-11-01 15:28:44 Curves Circles Triangles Archimedes Method of exhaustion Area Polygon Regular polygon Axiom Geometry Euclidean geometry Integral calculus
803	Tarski’s Conceptual Analysis of Semantical Notions 1 Solomon Feferman Dedicated to the memory of Robert L. Vaught[removed]) Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2002-08-02 22:05:21 Model theory Philosophical logic Metalogic Predicate logic Logical syntax Alfred Tarski Function Axiom Löwenheim–Skolem theorem Logic Mathematics Mathematical logic
804	Proof, Sets, and Logic M. Randall Holmes November 30, 2012 Add to Reading List Source URL: math.boisestate.edu Language: English - Date: 2012-11-30 21:29:32 Urelements Z notation New Foundations Type theory Willard Van Orman Quine Zermelo–Fraenkel set theory Axiom of choice Zermelo set theory S Mathematical logic Set theory Mathematics
805	Is the Continuum Hypothesis a definite mathematical problem? DRAFT[removed]For: Exploring the Frontiers of Incompleteness (EFI) Project, Harvard[removed] Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2011-09-24 21:28:21 Determinacy Large cardinals Axioms of set theory Constructible universe Proof theory Continuum hypothesis Axiom of choice Zermelo–Fraenkel set theory Axiom of determinacy Mathematical logic Set theory Mathematics
806	T HE R EVIEW OF S YMBOLIC L OGIC Volume 2, Number 4, December 2009 Add to Reading List Source URL: philosophy.concordia.ca Language: English - Date: 2009-12-14 14:52:38 Philosophical logic Philosophy of mathematics Formal systems Branches of philosophy Mathematical logic Axiom Modal logic Set theory Function Logic Mathematics Philosophy
807	Proceedings of the International Congress of Mathematicians Hyderabad, India, 2010 Add to Reading List Source URL: logic.harvard.edu Language: English - Date: 2011-09-20 00:26:33 Determinacy Descriptive set theory Inner model theory Forcing Woodin cardinal Axiom of projective determinacy Axiom of choice L Zermelo–Fraenkel set theory Mathematical logic Set theory Large cardinals
808	Feferman on the Indefiniteness of CH Peter Koellner Add to Reading List Source URL: logic.harvard.edu Language: English - Date: 2011-10-06 07:47:45 Continuum hypothesis Forcing Infinity Zermelo–Fraenkel set theory Solomon Feferman Peano axioms Large cardinal Axiom Conjecture Mathematical logic Mathematics Logic
809	being abandoned. Let us analyse some of these events and issues in greater detail. Add to Reading List Source URL: personal.us.es Language: English - Date: 2009-07-10 08:53:39 Mathematical logic Logicism Foundations of mathematics Intuitionism Set theory Impredicativity Constructivism Axiomatic system Axiom of choice Mathematics Logic Philosophy of mathematics
810	Cardinal Welfare, Individualistic Ethics, and Interpersonal Comparison of Utility: Comment Author(s): Peter A. Diamond Source: The Journal of Political Economy, Vol. 75, No. 5 (Oct., 1967), pp[removed] Add to Reading List Source URL: mikael.cozic.free.fr Language: English - Date: 2009-01-15 10:36:40 Mathematics Microeconomics Utility Decision theory Knowledge Social welfare function John Harsanyi Expected utility hypothesis Axiom Welfare economics Game theory Social choice theory

UPDATE