Axiom - PDFSEARCH.IO - Document Search Engine

Axiom
Results: 922

#	Item
621	Journey Three: Successors of Peano Add to Reading List Source URL: www.stepanovpapers.com Language: English - Date: 2012-10-30 16:34:07 Elementary geometry Axiom Euclidean geometry Orientation Right angle Plane Parallel Triangle Angle Geometry Mathematics Formal systems
622	Problems with the Deductivist Image of Scientific Reasoning PHILIP CATTON Department of Philosophy and Religious Studies University of Canterbury, New Zealand Add to Reading List Source URL: scistud.umkc.edu Language: English - Date: 2002-09-17 12:21:00 Abstraction Arguments Belief Philosophy of mathematics Logic Euclidean geometry Mathematical logic Argumentation theory Axiom Philosophy Science Knowledge
623	1 Much of the current thought concerning mathematical ontology and epistemology follows Quine and Putnam in looking to the indispensable application of mathematics in science. In particular, the Quine/Putnam indispensabi Add to Reading List Source URL: scistud.umkc.edu Language: English - Date: 2002-07-04 14:09:00 Philosophy of science Scientific method Mathematical physics Applied mathematics Theory Quantum field theory Scientific theory Axiom Mathematical proof Science Knowledge Mathematics
624	insuremore.co.uk Arranged for : InsureMORE TERMS OF BUSINESS ABOUT OUR INSURANCE SERVICES Axiom House, 4th Floor, The Centre, Feltham, TW13 4AU Add to Reading List Source URL: insuremore.co.uk Language: English - Date: 2014-02-05 07:02:20 Insurance Financial Ombudsman Service Economics Finance Financial institutions Institutional investors Financial economics
625	MATHESIS 2013 A Huge Hit Among Students, Parents ! On[removed], Saturday, students from standards VI to VIII of Everwin Matriculation hosted the Maths expo, Mathesis, which had Assistant Professor Dr. K. Kumaraswamy, A Add to Reading List Source URL: everwinschool.com Language: English - Date: 2013-12-11 07:45:17 Mathematics education Mathematics Axiom Logic
626	Computers Do Not Run on Logic Mladen Pavicˇ ic´ Physics Chair, Faculty of Civil Engineering, University of Zagreb, Zagreb, Croatia. [removed] http://m3k.grad.hr/pavicic Add to Reading List Source URL: m3k.grad.hr Language: English - Date: 2010-07-15 19:55:00 Algebraic logic Lattice theory Algebraic structures Non-classical logic Boolean algebra Quantum logic Complemented lattice Axiom Logic Mathematics Mathematical logic
627	Alan Kuhnle[removed]Theorem 1. With the Axiom of Choice, there exists an undetermined game on ω <ω . Proof. Notice that a strategy is a function σ : ω <ω → ω <ω . Thus, the set S := {σ : σ is a strategy } = Add to Reading List Source URL: alanmath.files.wordpress.com Language: English - Date: 2011-10-20 18:23:55 Cardinal numbers Beta amyloid Constructible universe Limit ordinal Insulin-degrading enzyme Θ Mathematical logic Set theory Ordinal numbers
628	MAS Modula{2 Algebra System Interactive Usage Computer Algebra Group University of Passau MAS Version 1.01 Add to Reading List Source URL: krum.rz.uni-mannheim.de Language: English - Date: 2007-11-19 08:07:18 Functional languages Lisp programming language Cross-platform software Procedural programming languages Modula-2 Arbitrary-precision arithmetic Lisp Axiom Computer algebra system Computing Software engineering Programming language theory
629	Aphorisms for Math & a Bit/Byte More #93 of Gottschalk’s Gestalts A Series Illustrating Innovative Forms of the Organization & Exposition of Mathematics Add to Reading List Source URL: gottschalksgestalts.org Language: English - Date: 2005-01-23 22:29:49 Functions and mappings Philosophy of science Elementary mathematics Ignoramus et ignorabimus David Hilbert Uncertainty principle Werner Heisenberg Integral Axiom Mathematics Mathematical analysis Physics
630	A Finitely Axiomatized Formalization of Predicate Calculus with Equality Note: This is a preprint of Megill, “A Finitely Axiomatized Formalization of Predicate Calculus with Equality,” Notre Dame Journal of Formal Lo Add to Reading List Source URL: de.metamath.org Language: English - Date: 2014-06-27 17:40:55 Propositional calculus Predicate logic Automated theorem proving Model theory First-order logic Metamath Function Substitution Axiom Logic Mathematical logic Mathematics

UPDATE