Branches of Mathematics

Pure mathematics

• Algebra
• Calculus
• Geometry
• Topology
• Trignometry
• Combinatorics
• Logic
• Number theory

Applied mathematics

• Dynamical systems and differential equations
• Mathematical physics
• Computing
• Information theory and signal processing
• Probability and statistics
• Game theory
• Operations research

Related Topics

• Electromagnetic Spectrum
• Linear Equations
• Applied Physics
• Nano Technology
• Engineering Sciences
• Mathematical Medicine
• Fluid dynamics
• Computational Mathematics
• Gamma Ray Optics
• Onfrared Optics
• Relative Velocity
• Iciam
• Intelligent Imaging Neuroscience
• Biomedical Engineering
• Neuroscience Research
• Quantum Cosmology
• Brain Research

• Alan Ross Anderson
• Alan Turing
• Alexander Bain
• Alfred L. Foster
• Alfred Tarski
• Alma mater
• Alonzo Church
• Alonzo S. Church
• Ambiguity
• Antinomy
• Argument
• Argumentation theory
• Aristotle
• Augustus De Morgan
• Averroes
• Avicenna
• Axiology
• Axiom
• Axiomatic system
• Belief
• Bertrand Russell
• Bias
• Boolean function
• Boolean logic
• C. Anthony Anderson
• Cantor's theorem
• Category Logic
• Chrysippus
• Church encoding
• Church's theorem
• Church–Turing thesis
• Class (set theory)
• Classical logic
• Cogency
• Completeness
• Computability theory
• Computable function
• Computer science
• Consistency
• Countable set
• Credibility
• Critical thinking
• Dana Scott
• David Hilbert
• Decidability (logic)
• Decision problem
• Decision procedure
• Deductive reasoning
• Deductive system
• Definition
• Degree of truth
• Deontic logic
• Description
• Description logic
• Dialetheism
• Doctor of Philosophy
• Doctoral advisor
• Domain of a function
• Doxastic logic
• Duns Scotus
• Edmund F. Robertson
• Effective method
• Empty set
• Entailment
• Entscheidungsproblem
• Enumeration
• Ernst Schröder
• Ernst Zermelo
• Evidence
• Explanation
• Explanatory power
• Extensionality
• Fact
• Fallacy
• Fictionalism
• Finitary relation
• Finite model theory
• Finite set
• Finitism
• First-order logic
• Formal language
• Formal proof
• Formal system
• Formation rule
• Fuzzy finite element
• Fuzzy logic
• Fuzzy rule
• Fuzzy set
• Fuzzy set operations
• Gary R. Mar
• Georg Cantor
• George Boole
• George Boolos
• Gerhard Gentzen
• Gian-Carlo Rota
• Giuseppe Peano
• Gottlob Frege
• Halting problem
• Hartley Rogers, Jr
• Hartley Rogers, Jr.
• Harvard University
• Haskell Curry
• Herbert Enderton
• Heyting arithmetic
• Higher-order logic
• Hilary Putnam
• History of logic
• Hudson, Ohio
• Inductive reasoning
• Inference
• Informal logic
• Inquiry
• Intuitionism
• Intuitionistic logic
• Isaac Malitz
• J. Barkley Rosser
• John George Kemeny
• Jon Barwise
• Kurt Gödel
• Lambda calculus
• Leon Henkin
• Leopold Löwenheim
• Linear logic
• List of fallacies
• List of logicians
• List of paradoxes
• Logic
• Logical atomism
• Logical connective
• Logical form
• Logical truth
• Logicism
• Ludwig Wittgenstein
• Martin Davis
• Mathematical logic
• Mathematician
• Mathematics
• Maurice L'Abbé
• Metalogic
• Metamathematics
• Metatheorem
• Michael O. Rabin
• Modal logic
• Modal operator
• Model theory
• Name
• Nathan Salmon
• Natural deduction
• Nicholas Rescher
• Nominalism
• Non-classical logic
• Non-standard model
• Ontology
• Ontology language
• Opinion
• Ordered pair
• Oswald Veblen
• Outline of logic
• Paraconsistent logic
• Paradox
• Parsimony
• Paul Bernays
• Peano arithmetic
• Peter Geach
• Philosophical logic
• Philosophy
• Philosophy of logic
• Platonic realism
• Portal Biography
• Portal Logic
• Possible world
• Power set
• Pragmatism
• Predicate logic
• Premise
• Presupposition
• Princeton Cemetery
• Princeton University
• Probability
• Proof theory
• Propaganda
• Proposition
• Prudence
• Quantification
• Range (mathematics)
• Raymond Smullyan
• Reason
• Recursion
• Recursive set
• Reference
• Relevance
• Relevance logic
• Rhetoric
• Rigour
• Rudolf Carnap
• Rule of inference
• Satisfiability
• Saul Kripke
• Second-order logic
• Semantics
• Set (mathematics)
• Set theory
• Simon B. Kochen
• Soundness
• Square of opposition
• Statement (logic)
• Stephen Cole Kleene
• Stephen Kleene
• Strict implication
• Structural rule
• Subset
• Substitution (logic)
• Substructural logic
• Syllogism
• Symbol (formal)
• Syntax (logic)
• Template Logic
• Template talk Logic
• Temporal logic
• Term logic
• Theorem
• Thoralf Skolem
• Truth
• Truth table
• Truth value
• Turing machine
• Type theory
• UCLA
• Uncountable set
• Undecidable problem
• United States
• Universal set
• Vagueness
• Validity
• Venn diagram
• Washington, D.C.
• Washington, DC
• Well-formed formula
• Wikipedia Persondata
• Wilfred Hodges
• William of Ockham
• William W. Boone
• 
  

• 
  Harvard University
  Harvard University is an American private Ivy League research university located in Cambridge, Massachusetts, United States, established in 1636 by the Massachusetts legislature. Harvard is the oldest institution of higher learning in the United States and the first corporation (officially The President and Fellows of Harvard College) chartered in the country. Harvard's history, influence, and wealth have made it one of the most prestigious universities in the world.
  Harvard was named after its first benefactor, John Harvard. Although never formally affiliated with a church, the college primarily trained Congregationalist and Unitarian clergy. Harvard's curriculum and students became secular throughout the 18th century and by the 19th century had emerged as the central cultural establishment among Boston elites. Following the American Civil War, President Charles W. Eliot's forty year tenure (1869–1909) transformed the college and affiliated professional schools into a centralized research university, and Harvard became a founding member of the Association of American Universities in 1900.James Bryant Conant led the university through the Great Depression and World War II and began to reform the curriculum and liberalize admissions after the war. The undergraduate college became coeducational after its 1977 merger with Radcliffe College. Drew Gilpin Faust was elected the 28th president in 2007 and is the first woman to lead the university. Harvard has the largest financial endowment of any academic institution in the world, standing at $32 billion as of September 2011.
  
  wn.com/Harvard_University
• Princeton Cemetery
  Princeton Cemetery is located in Borough of Princeton, New Jersey. It is owned by the Nassau Presbyterian Church.John F. Hageman in his 1878 history of Princeton, New Jersey refers to the cemetery as: "The Westminster Abbey of the United States."
  Coordinates: 40°21′14″N 74°39′36″W / 40.3539958°N 74.6598806°W / 40.3539958; -74.6598806
  
  wn.com/Princeton_Cemetery
• 
  Princeton University
  Princeton University is a private research university located in Princeton, New Jersey, United States.
  It is one of the eight universities of the Ivy League, and one of the nine Colonial Colleges founded before the American Revolution. Princeton provides undergraduate and graduate instruction in the humanities, social sciences, natural sciences and engineering. Princeton does not have schools of medicine, law, divinity, or business, but it does offer professional degrees through the Woodrow Wilson School of Public and International Affairs, the Princeton University School of Engineering and Applied Science and the School of Architecture.
  Founded in 1746 in Elizabeth, New Jersey, as the College of New Jersey, the university moved to Newark in 1747, then to Princeton in 1756 and was renamed Princeton University in 1896. The present-day College of New Jersey in nearby Ewing, New Jersey, is an unrelated institution. Princeton was the fourth chartered institution of higher education in the American colonies. Princeton had close ties to the Presbyterian Church, but has never been affiliated with any denomination and today imposes no religious requirements on its students.
  
  wn.com/Princeton_University
• 
  United States
  The United States of America (commonly abbreviated to the United States, the U.S., the USA, America, and the States) is a federal constitutional republic comprising fifty states and a federal district. The country is situated mostly in central North America, where its forty-eight contiguous states and Washington, D.C., the capital district, lie between the Pacific and Atlantic Oceans, bordered by Canada to the north and Mexico to the south. The state of Alaska is in the northwest of the continent, with Canada to the east and Russia to the west, across the Bering Strait. The state of Hawaii is an archipelago in the mid-Pacific. The country also possesses several territories in the Pacific and Caribbean.
  At 3.79 million square miles (9.83 million km²) and with over 312 million people, the United States is the third or fourth largest country by total area, and the third largest by both land area and population. It is one of the world's most ethnically diverse and multicultural nations, the product of large-scale immigration from many countries. The U.S. economy is the world's largest national economy, with an estimated 2011 GDP of $15.1 trillion (22% of nominal global GDP and over 19% of global GDP at purchasing-power parity). Per capita income is the world's sixth-highest.
  
  wn.com/United_States

• Alan Ross Anderson
  Alan Ross Anderson (1925 – 1973) was an American logician and professor of philosophy at Yale University and the University of Pittsburgh.
  A frequent collaborator with Nuel Belnap, Anderson was instrumental in the development of relevance logic and deontic logic.
  Anderson died of cancer in 1973.
  Anderson believed that the conclusion of a valid inference ought to have something to do with (i.e. be relevant to) the premises. Formally, he captured this "relevance condition" with the principle that
  As simple as this idea appears, implementing it in a formal system requires a radical departure from the semantics of classical logic. Anderson and Belnap (with contributions from J. Michael Dunn, Kit Fine, Alasdair Urquhart, Robert K. Meyer, Anil Gupta (logician), and others) explored the formal consequences of the relevance condition in great detail in their influential Entailment books (see references below), which are the most frequently cited works in the field of relevance logic.
  Anderson and Belnap were quick to observe that the concept of relevance had been central to logic since Aristotle, but had been unduly neglected since Gottlob Frege and George Boole laid the foundations for what would come to be known, somewhat ironically, as "classical" logic. (For an example of classical logic's failure to satisfy the relevance condition, see the article on the principle of explosion.)
  
  wn.com/Alan_Ross_Anderson
• 
  Alan Turing
  Alan Mathison Turing, OBE, FRS ( /ˈtjʊərɪŋ/ TEWR-ing; 23 June 1912 – 7 June 1954), was an English mathematician, logician, cryptanalyst, and computer scientist. He was highly influential in the development of computer science, providing a formalisation of the concepts of "algorithm" and "computation" with the Turing machine, which played a significant role in the creation of the modern computer. Turing is widely considered to be the father of computer science and artificial intelligence.
  During the Second World War, Turing worked for the Government Code and Cypher School (GCCS) at Bletchley Park, Britain's codebreaking centre. For a time he was head of Hut 8, the section responsible for German naval cryptanalysis. He devised a number of techniques for breaking German ciphers, including the method of the bombe, an electromechanical machine that could find settings for the Enigma machine.
  After the war he worked at the National Physical Laboratory, where he created one of the first designs for a stored-program computer, the ACE. In 1948 Turing joined Max Newman's Computing Laboratory at Manchester University, where he assisted in the development of the Manchester computers and became interested in mathematical biology. He wrote a paper on the chemical basis of morphogenesis, and he predicted oscillating chemical reactions such as the Belousov–Zhabotinsky reaction, which were first observed in the 1960s.
  
  wn.com/Alan_Turing
• 
  Alexander Bain
  Alexander Bain (11 June 1818 – 18 September 1903) was a Scottish philosopher and educationalist in the British school of empiricism who was a prominent and innovative figure in the fields of psychology, linguistics, logic, moral philosophy and education reform. He founded Mind, the first ever journal of psychology and analytical philosophy, and was the leading figure in establishing and applying applying the scientific method to psychology. Bain was the inaugural Regius Chair in Logic and Professor of Logic at the University of Aberdeen, where he also held Professorships in Moral Philosophy and English Literature and was twice elected Lord Rector of the University of Aberdeen.
  Alexander Bain was born in Aberdeen, Scotland to George Bain, a weaver and veteran soldier, and Margaret Paul. At age eleven he left school to work as a weaver hence the description of him as Weevir, rex philosophorum. He also took to lectures at the Mechanics' Institutes of Aberdeen and the Aberdeen Public Library.
  
  wn.com/Alexander_Bain
• 
  Alfred Tarski
  Alfred Tarski (January 14, 1901 – October 26, 1983) was a Polish logician and mathematician. Educated at the University of Warsaw and a member of the Lwow-Warsaw School of Logic and the Warsaw School of Mathematics and philosophy, he emigrated to the USA in 1939, and taught and carried out research in mathematics at the University of California, Berkeley, from 1942 until his death.
  A prolific author best known for his work on model theory, metamathematics, and algebraic logic, he also contributed to abstract algebra, topology, geometry, measure theory, mathematical logic, set theory, and analytic philosophy.
  His biographers Anita and Solomon Feferman state that, "Along with his contemporary, Kurt Gödel, he changed the face of logic in the twentieth century, especially through his work on the concept of truth and the theory of models."
  Alfred Tarski was born Alfred Teitelbaum (Polish spelling: "Tajtelbaum"), to parents who were Polish Jews in comfortable circumstances. He first manifested his mathematical abilities while in secondary school, at Warsaw's Szkoła Mazowiecka. Nevertheless, he entered the University of Warsaw in 1918 intending to study biology.
  
  wn.com/Alfred_Tarski
• Alonzo Church
  Alonzo Church (June 14, 1903 – August 11, 1995) was an American mathematician and logician who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, Church–Turing thesis, solving the Entscheidungsproblem, Frege–Church ontology, and the Church–Rosser theorem.
  Alonzo Church was born on June 14, 1903 in Washington, D.C. where his father, Samuel Robbins Church, was the judge of the Municipal Court for the District of Columbia. The family later moved to Virginia after his father lost this position because of failing eyesight. With help from his uncle, also named Alonzo Church, he was able to attend the Ridgefield School for Boys in Ridgefield, Connecticut. After graduating from Ridgefield in 1920, Church attended Princeton University where he was an exceptional student, publishing his first paper, on Lorentz transformations, and graduating in 1924 with a degree in mathematics. He stayed at Princeton, earning a Ph.D. in mathematics in three years under Oswald Veblen.
  
  wn.com/Alonzo_Church
• 
  Aristotle
  Aristotle (Ancient Greek: Ἀριστοτέλης, Aristotélēs) (384 BC – 322 BC) was a Greek philosopher and polymath, a student of Plato and teacher of Alexander the Great. His writings cover many subjects, including physics, metaphysics, poetry, theater, music, logic, rhetoric, linguistics, politics, government, ethics, biology, and zoology. Together with Plato and Socrates (Plato's teacher), Aristotle is one of the most important founding figures in Western philosophy. Aristotle's writings were the first to create a comprehensive system of Western philosophy, encompassing morality, aesthetics, logic, science, politics, and metaphysics.
  Aristotle's views on the physical sciences profoundly shaped medieval scholarship, and their influence extended well into the Renaissance, although they were ultimately replaced by Newtonian physics. In the zoological sciences, some of his observations were confirmed to be accurate only in the 19th century. His works contain the earliest known formal study of logic, which was incorporated in the late 19th century into modern formal logic. In metaphysics, Aristotelianism had a profound influence on philosophical and theological thinking in the Islamic and Jewish traditions in the Middle Ages, and it continues to influence Christian theology, especially the scholastic tradition of the Catholic Church. His ethics, though always influential, gained renewed interest with the modern advent of virtue ethics. All aspects of Aristotle's philosophy continue to be the object of active academic study today. Though Aristotle wrote many elegant treatises and dialogues (Cicero described his literary style as "a river of gold"), it is thought that the majority of his writings are now lost and only about one-third of the original works have survived.
  
  wn.com/Aristotle
• 
  Augustus De Morgan
  Augustus De Morgan (27 June 1806 – 18 March 1871) was a British mathematician and logician. He formulated De Morgan's laws and introduced the term mathematical induction, making its idea rigorous. The crater De Morgan on the Moon is named after him.
  Augustus De Morgan was born in 1806. His father was Col. Augustus De Morgan, who held various appointments in the service of the East India Company. His mother descended from James Dodson, who computed a table of anti-logarithms, that is, the numbers corresponding to exact logarithms. Augustus De Morgan became blind in one eye a month or two after he was born. The family moved to England when Augustus was seven months old. As his father and grandfather had both been born in India, De Morgan used to say that he was neither English, nor Scottish, nor Irish, but a Briton "unattached", using the technical term applied to an undergraduate of Oxford or Cambridge who is not a member of any one of the Colleges.
  When De Morgan was ten years old, his father died. Mrs. De Morgan resided at various places in the southwest of England, and her son received his elementary education at various schools of no great account. His mathematical talents went unnoticed until he was fourteen, when a family-friend discovered him making an elaborate drawing of a figure in Euclid with ruler and compasses. She explained the aim of Euclid to Augustus, and gave him an initiation into demonstration.
  
  wn.com/Augustus_De_Morgan
• 
  Averroes
  ʾAbū l-Walīd Muḥammad bin ʾAḥmad bin Rušd (Arabic: أبو الوليد محمد بن احمد بن رشد‎), better known just as Ibn Rushd (Arabic: ابن رشد‎), and in European literature as Averroes ( /əˈvɛroʊ.iːz/; April 14, 1126 – December 10, 1198), was an Andalusian Muslim polymath; a master of Aristotelian philosophy, Islamic philosophy, Islamic theology, Maliki law and jurisprudence, logic, psychology, politics, Arabic music theory, and the sciences of medicine, astronomy, geography, mathematics, physics and celestial mechanics. He was born in Córdoba, Al Andalus, modern-day Spain, and died in Marrakesh, Morocco. His school of philosophy is known as Averroism.
  Ibn Rushd was a defender of Aristotelian philosophy against claims from the influential Islamic theologian Ghazali who attacked philosophy so it would not become an affront to the teachings of Islam.
  Averroes' name is also seen as Averroës, Averroès or Averrhoës, indicating that the "o" and the "e" form separate syllables. Averroes is a Latinisation of a Hebrew transcription of the Arab name Ibn Rushd.
  
  wn.com/Averroes
• 
  Avicenna
  Abū ʿAlī al-Ḥusayn ibn ʿAbd Allāh ibn Sīnā (Persian پورسينا Pur Sina [ˈpuːr ˈsiːnɑː] "son of Sina"; c. 980, Afshana near Bukhara– 1037, Hamadan, Iran), commonly known as Ibn Sīnā or by his Latinized name Avicenna, was a Persianpolymath, who wrote almost 450 treatises on a wide range of subjects, of which around 240 have survived. In particular, 150 of his surviving treatises concentrate on philosophy and 40 of them concentrate on medicine.
  His most famous works are The Book of Healing, a vast philosophical and scientific encyclopaedia, and The Canon of Medicine, which was a standard medical text at many medieval universities. The Canon of Medicine was used as a text-book in the universities of Montpellier and Leuven as late as 1650. Ibn Sīnā's Canon of Medicine provides a complete system of medicine according to the principles of Galen (and Hippocrates).
  His corpus also includes writing on philosophy, astronomy, alchemy, geology, psychology, Islamic theology, logic, mathematics, physics, as well as poetry. He is regarded as the most famous and influential polymath of the Islamic Golden Age.
  
  wn.com/Avicenna
• 
  Bertrand Russell
  Bertrand Arthur William Russell, 3rd Earl Russell, OM, FRS (18 May 1872 – 2 February 1970) was a British philosopher, logician, mathematician, historian, and social critic. At various points in his life he considered himself a liberal, a socialist, and a pacifist, but he also admitted that he had never been any of these in any profound sense. He was born in Monmouthshire, into one of the most prominent aristocratic families in Britain.
  Russell led the British "revolt against idealism" in the early 20th century. He is considered one of the founders of analytic philosophy along with his predecessor Gottlob Frege and his friend Ludwig Wittgenstein, and is widely held to be one of the 20th century's premier logicians. He co-authored, with A. N. Whitehead, Principia Mathematica, an attempt to ground mathematics on logic. His philosophical essay "On Denoting" has been considered a "paradigm of philosophy." His work has had a considerable influence on logic, mathematics, set theory, linguistics, computer science (see type theory and type system), and philosophy, especially philosophy of language, epistemology, and metaphysics.
  
  wn.com/Bertrand_Russell
• 
  Chrysippus
  Chrysippus of Soli (Ancient Greek: Χρύσιππος ὁ Σολεύς, Chrysippos ho Soleus; c. 279 BC – c. 206 BC) was a Greek Stoic philosopher. He was a native of Soli, Cilicia, but moved to Athens as a young man, where he became a pupil of Cleanthes in the Stoic school. When Cleanthes died, around 230 BC, Chrysippus became the third head of the school. A prolific writer, Chrysippus expanded the fundamental doctrines of Zeno of Citium, the founder of the school, which earned him the title of Second Founder of Stoicism.
  Chrysippus excelled in logic, the theory of knowledge, ethics and physics. He created an original system of propositional logic in order to better understand the workings of the universe and role of humanity within it. He adhered to a deterministic view of fate, but nevertheless sought a role for personal freedom in thought and action. Ethics, he taught, depended on understanding the nature of the universe, and he taught a therapy of extirpating the unruly passions which depress and crush the soul. He initiated the success of Stoicism as one of the most influential philosophical movements for centuries in the Greek and Roman world.
  
  wn.com/Chrysippus
• 
  Dana Scott
  Dana Stewart Scott (born October 11, 1932) is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California. His research career has spanned computer science, mathematics, and philosophy, and has been characterized by a marriage of a concern for elucidating fundamental concepts in the manner of informal rigor, with a cultivation of mathematically hard problems that bear on these concepts. His work on automata theory earned him the ACM Turing Award in 1976, while his collaborative work with Christopher Strachey in the 1970s laid the foundations of modern approaches to the semantics of programming languages. He has worked also on modal logic, topology, and category theory. He is the editor-in-chief of the new journal Logical Methods in Computer Science.
  He received his BA in Mathematics from the University of California, Berkeley, in 1954. He wrote his Ph.D. thesis on Convergent Sequences of Complete Theories under the supervision of Alonzo Church while at Princeton, and defended his thesis in 1958. Solomon Feferman (2005) writes of this period:
  
  wn.com/Dana_Scott
• 
  David Hilbert
  David Hilbert, FRS (German pronunciation: [ˈdaːvɪt ˈhɪlbɐt]; January 23, 1862 – February 14, 1943) was a German mathematician. He is recognized as one of the most influential and universal mathematicians of the 19th and early 20th centuries. Hilbert discovered and developed a broad range of fundamental ideas in many areas, including invariant theory and the axiomatization of geometry. He also formulated the theory of Hilbert spaces, one of the foundations of functional analysis.
  Hilbert adopted and warmly defended Georg Cantor's set theory and transfinite numbers. A famous example of his leadership in mathematics is his 1900 presentation of a collection of problems that set the course for much of the mathematical research of the 20th century.
  Hilbert and his students contributed significantly to establishing rigor and developed important tools used in modern mathematical physics. Hilbert is known as one of the founders of proof theory and mathematical logic, as well as for being among the first to distinguish between mathematics and metamathematics.
  
  wn.com/David_Hilbert
• 
  Duns Scotus
  John (Johannes, Ioannes) Duns Scotus, O.F.M. (c. 1256 – November 18, 1308) was one of the more important theologians and philosophers of the High Middle Ages. He was given the medieval accolade Doctor Subtilis (Subtle Doctor) for his penetrating and subtle manner of thought.
  Scotus has had considerable influence on Roman Catholic thought. The doctrines for which he is best known are the "univocity of being," that existence is the most abstract concept we have, applicable to everything that exists; the formal distinction, a way of distinguishing between different aspects of the same thing; and the idea of haecceity, the property supposed to be in each individual thing that makes it an individual. Scotus also developed a complex argument for the existence of God, and argued for the Immaculate conception of Mary.
  Little is known of Scotus' life. He was probably born in 1265, probably at Duns, in Berwickshire, Scotland. In 1291 he was ordained as a priest in Northampton, England. A note in Codex 66 of Merton College, Oxford, records that Scotus "flourished at Cambridge, Oxford and Paris. He began lecturing on Peter Lombard's Sentences at the prestigious University of Paris in the Autumn of 1302. Later in that academic year, however, he was expelled from the University of Paris for siding with then Pope Boniface VIII in his feud with Philip the Fair of France, over the taxation of church property.
  
  wn.com/Duns_Scotus
• 
  Ernst Schröder
  Ernst Schröder (25 November 1841, Mannheim, Baden, Germany – 16 June 1902, Karlsruhe, Germany) was a German mathematician mainly known for his work on algebraic logic. He is a major figure in the history of mathematical logic (a term he may have invented), by virtue of summarizing and extending the work of George Boole, Augustus De Morgan, Hugh MacColl, and especially Charles Peirce. He is best known for his monumental Vorlesungen über die Algebra der Logik (Lectures on the algebra of logic), in 3 volumes, which prepared the way for the emergence of mathematical logic as a separate discipline in the twentieth century by systematizing the various systems of formal logic of the day.
  Schröder learned mathematics at Heidelberg, Königsberg, and Zürich, under Hesse, Kirchhoff, and Franz Neumann. After teaching school for a few years, he moved to the Technische Hochschule Darmstadt in 1874. Two years later, he took up a chair in mathematics at the Polytechnische Schule in Karlsruhe, where he spent the remainder of his life. He never married.
  
  wn.com/Ernst_Schröder
• 
  Ernst Zermelo
  Ernst Friedrich Ferdinand Zermelo (German: [ʦɛrˈmeːlo]; 1871–1953) was a German mathematician, whose work has major implications for the foundations of mathematics and hence on philosophy.^{[citation needed]} He is known for his role in developing Zermelo–Fraenkel axiomatic set theory and his proof of the well-ordering theorem.
  He graduated from Berlin's Luisenstädtisches Gymnasium in 1889. He then studied mathematics, physics and philosophy at the universities of Berlin, Halle and Freiburg. He finished his doctorate in 1894 at the University of Berlin, awarded for a dissertation on the calculus of variations (Untersuchungen zur Variationsrechnung). Zermelo remained at the University of Berlin, where he was appointed assistant to Planck, under whose guidance he began to study hydrodynamics. In 1897, Zermelo went to Göttingen, at that time the leading centre for mathematical research in the world, where he completed his habilitation thesis in 1899.
  In 1910, Zermelo left Göttingen upon being appointed to the chair of mathematics at Zurich University, which he resigned in 1916. He was appointed to an honorary chair at Freiburg im Breisgau in 1926, which he resigned in 1935 because he disapproved of Hitler's regime. At the end of World War II and at his request, Zermelo was reinstated to his honorary position in Freiburg.
  
  wn.com/Ernst_Zermelo
• 
  Georg Cantor
  Georg Ferdinand Ludwig Philipp Cantor ( /ˈkæntɔr/ KAN-tor; German: [ɡeˈɔʁk ˈfɛʁdinant ˈluːtvɪç ˈfiːlɪp ˈkantɔʁ]; March 3 [O.S. February 19] 1845 – January 6, 1918) was a German mathematician, best known as the inventor of set theory, which has become a fundamental theory in mathematics. Cantor established the importance of one-to-one correspondence between the members of two sets, defined infinite and well-ordered sets, and proved that the real numbers are "more numerous" than the natural numbers. In fact, Cantor's method of proof of this theorem implies the existence of an "infinity of infinities". He defined the cardinal and ordinal numbers and their arithmetic. Cantor's work is of great philosophical interest, a fact of which he was well aware.
  
  wn.com/Georg_Cantor
• 
  George Boole
  George Boole ( /ˈbuːl/; 2 November 1815 – 8 December 1864) was an English-born mathematician and logician. His work was in the fields of differential equations and algebraic logic, and he is now best known as the author of The Laws of Thought. As the inventor of the prototype of what is now called Boolean logic, which became the basis of the modern digital computer, Boole is regarded in hindsight as a founder of the field of computer science. Boole said,
  ... no general method for the solution of questions in the theory of probabilities can be established which does not explicitly recognise ... those universal laws of thought which are the basis of all reasoning ...
  George Boole's father, John Boole (1779–1848), was a tradesman in Lincoln and gave him lessons. He had an elementary school education, but little further formal and academic teaching. William Brooke, a bookseller in Lincoln, may have helped him with Latin; which he may also have learned at the school of Thomas Bainbridge. He was self-taught in modern languages. At age 16 Boole took up a junior teaching position in Doncaster, at Heigham's School, being at this point the breadwinner for his parents and three younger siblings. He taught also in Liverpool, briefly.
  
  wn.com/George_Boole
• George Boolos
  George Stephen Boolos (September 4, 1940, New York City – May 27, 1996) was a philosopher and a mathematical logician who taught at the Massachusetts Institute of Technology.
  Boolos graduated from Princeton University in 1961 with an A.B. in mathematics. Oxford University awarded him the B.Phil in 1963. In 1966, he obtained the first Ph.D. in philosophy ever awarded by the Massachusetts Institute of Technology, under the direction of Hilary Putnam. After teaching three years at Columbia University, he returned to MIT in 1969, where he spent the rest of his career until his death from cancer.
  A charismatic speaker well known for his clarity and wit, he once delivered a lecture (1994b) giving an account of Gödel's second incompleteness theorem, employing only words of one syllable. At the end of his viva, Hilary Putnam asked him, "And tell us, Mr. Boolos, what does the analytical hierarchy have to do with the real world?" Without hesitating Boolos replied, "It's part of it".
  An expert on puzzles of all kinds, in 1993 Boolos reached the London Regional Final of The Times crossword competition. His score was one of the highest ever recorded by an American. He wrote a paper on "the hardest logic puzzle ever"—one of many puzzles created by Raymond Smullyan.
  
  wn.com/George_Boolos
• 
  Gerhard Gentzen
  Gerhard Karl Erich Gentzen (November 24, 1909, Greifswald, Germany – August 4, 1945, Prague, Czechoslovakia) was a German mathematician and logician. He had his major contributions in the foundations of mathematics, proof theory, especially on natural deduction and sequent calculus. He died in 1945 after the Second World War, because he was deprived of food after being arrested in Prague.
  Gentzen was a student of Paul Bernays at the University of Göttingen. Bernays was fired as "non-Aryan" in April 1933 and therefore Hermann Weyl formally acted as his supervisor. At great risk to his career Gentzen kept in contact with Bernays until the beginning of the Second World War. In November 1933, he joined the Sturmabteilung to pass the state exam for teachers.^{[citation needed]} In 1935, he corresponded with Abraham Fraenkel from Jerusalem and was implicated by the Nazi teachers' union as one who "keeps contacts to the Chosen People." In 1935 and 1936, Hermann Weyl, head of the Göttingen mathematics department in 1933 until his resignation under Nazi pressure, made strong efforts to bring him to the Institute for Advanced Study in Princeton.
  
  wn.com/Gerhard_Gentzen
• 
  Giuseppe Peano
  Giuseppe Peano (Italian pronunciation: [dʒuˈzɛppe peˈaːno]; 27 August 1858 – 20 April 1932) was an Italian mathematician, whose work was of philosophical value. The author of over 200 books and papers, he was a founder of mathematical logic and set theory, to which he contributed much notation. The standard axiomatization of the natural numbers is named the Peano axioms in his honor. As part of this effort, he made key contributions to the modern rigorous and systematic treatment of the method of mathematical induction. He spent most of his career teaching mathematics at the University of Turin.
  Peano was born and raised on a farm at Spinetta, a hamlet now belonging to Cuneo, Piedmont, Italy. He attended the Liceo classico Cavour in Turin, and enrolled at the University of Turin in 1876, graduating in 1880 with high honours, after which the University employed him to assist first Enrico D'Ovidio, and then Angelo Genocchi, the Chair of Infinitesimal calculus. Due to Genocchi's poor health, Peano took over the teaching of the infinitesimal calculus course within 2 years. His first major work, a textbook on calculus, was published in 1884 and was credited to Genocchi. A few years later, Peano published his first book dealing with mathematical logic. Here the modern symbols for the union and intersection of sets appeared for the first time.
  
  wn.com/Giuseppe_Peano
• 
  Gottlob Frege
  Friedrich Ludwig Gottlob Frege (8 November 1848 – 26 July 1925, pronounced [ˈɡɔtloːp ˈfreːɡə ]) was a German mathematician, logician and philosopher. He is considered to be one of the founders of modern logic and made major contributions to the foundations of mathematics. He is generally considered to be the father of analytic philosophy, for his writings on the philosophy of language and mathematics. While he was mainly ignored by the intellectual world when he published his writings, Giuseppe Peano (1858–1932) and Bertrand Russell (1872–1970) introduced his work to later generations of logicians and philosophers.
  Frege was born in 1848 in Wismar, in the state of Mecklenburg-Schwerin (the modern German federal state Mecklenburg-Vorpommern). His father Carl (Karl) Alexander Frege (3 August 1809 – 30 November 1866) was the co-founder and headmaster of a girls' high school until his death. After Carl's death, the school was led by Frege's mother Auguste Wilhelmine Sophie Frege (née Bialloblotzky, 12 January 1815 – 14 October 1898).
  
  wn.com/Gottlob_Frege
• Haskell Curry
  Haskell Brooks Curry (September 12, 1900 – September 1, 1982) was an American mathematician and logician. Curry is best known for his work in combinatory logic; while the initial concept of combinatory logic was based on a single paper by Moses Schönfinkel, much of the development was done by Curry. Curry is also known for Curry's paradox and the Curry–Howard correspondence. There are three programming languages named after him, Haskell, Brooks and Curry, as well as the concept of currying, a technique used for transforming functions in mathematics and computer science.
  Curry was born on September 12, 1900, in Millis, Massachusetts, to Samuel Silas Curry and Anna Baright Curry, who ran a school for elocution. He entered Harvard University in 1916 to study medicine but switched to mathematics before graduating in 1920. After two years of graduate work in electrical engineering at MIT, he returned to Harvard to study physics, earning a MA in 1924. Curry's interest in mathematical logic started during this period when he was introduced to the Principia Mathematica, the attempt by Alfred North Whitehead and Bertrand Russell to ground mathematics in symbolic logic. Remaining at Harvard, Curry pursued a Ph.D. in mathematics. While he was directed by George Birkhoff to work on differential equations, his interests continued to shift to logic. In 1927, while an instructor at Princeton University, he discovered the work of Moses Schönfinkel in combinatory logic. Schönfinkel's work had anticipated much of Curry's own research, and as a consequence, he moved to Göttingen where he could work with Heinrich Behmann and Paul Bernays, who were familiar with Schönfinkel's work. Curry was supervised by David Hilbert and worked closely with Bernays, receiving a Ph.D. in 1930 with a dissertation on combinatory logic.
  
  wn.com/Haskell_Curry
• Herbert Enderton
  Herbert Bruce Enderton (April 15, 1936 – October 20, 2010) was a Professor Emeritus of Mathematics at UCLA and a former member of the faculties of Mathematics and of Logic and the Methodology of Science at the University of California, Berkeley.
  Enderton also contributed to recursion theory, the theory of definability, models of analysis, computational complexity, and the history of logic.
  He earned his Ph.D. at Harvard in 1962. He was a member of the American Mathematical Society from 1961 until his death.
  He lived in Santa Monica. He married his wife, Cathy, in 1961 and they had two sons; Eric and Bert.
  From 1980 to 2002 he was coordinating editor of the reviews section of the Association for Symbolic Logic's Journal of Symbolic Logic.
  He died from leukemia in 2010.
  
  wn.com/Herbert_Enderton
• 
  Hilary Putnam
  Hilary Whitehall Putnam (born July 31, 1926) is an American philosopher, mathematician and computer scientist, who has been a central figure in analytic philosophy since the 1960s, especially in philosophy of mind, philosophy of language, philosophy of mathematics, and philosophy of science. He is known for his willingness to apply an equal degree of scrutiny to his own philosophical positions as to those of others, subjecting each position to rigorous analysis until he exposes its flaws. As a result, he has acquired a reputation for frequently changing his own position. Putnam is currently Cogan University Professor Emeritus at Harvard University.
  In philosophy of mind, Putnam is known for his argument against the type-identity of mental and physical states based on his hypothesis of the multiple realizability of the mental, and for the concept of functionalism, an influential theory regarding the mind-body problem. In philosophy of language, along with Saul Kripke and others, he developed the causal theory of reference, and formulated an original theory of meaning, inventing the notion of semantic externalism based on a famous thought experiment called Twin Earth.
  
  wn.com/Hilary_Putnam
• Isaac Malitz
  Isaac Richard Jay Malitz (born 1947, Cleveland, Ohio) is a logician who introduced the subject of positive set theory in his 1976 Ph.D. Thesis at UCLA.
  
  
  
  wn.com/Isaac_Malitz
• 
  John George Kemeny
  John George Kemeny (Hungarian: Kemény János György) (May 31, 1926 – December 26, 1992) was a Hungarian American mathematician, computer scientist, and educator best known for co-developing the BASIC programming language in 1964 with Thomas E. Kurtz. Kemeny served as the 13th President of Dartmouth College from 1970 to 1981 and pioneered the use of computers in college education. Kemeny chaired the presidential commission that investigated the Three Mile Island accident in 1979.
  Born in Budapest, Hungary, Kemeny attended the Rácz private primary school in Budapest and was a classmate of Nandor Balazs. In 1938 his father left for the United States alone. In 1940, he took the whole Kemeny family to the United States when Hungary's invasion by Nazi Germany became imminent. His grandfather, however, refused to leave and perished in the Holocaust, along with an aunt and uncle. Kemeny's family settled in New York City where he attended George Washington High School. He graduated with the best results in his class three years later. In 1943 Kemeny entered Princeton University where he studied mathematics and philosophy, but he took a year off during his studies to work on the Manhattan Project in Los Alamos National Laboratory. His boss there was Richard Feynman. He also worked there with John von Neumann. Returning to Princeton, Kemeny graduated with his B.A. in 1947, then worked for his doctorate under Alonzo Church. He worked as Einstein's mathematical assistant during graduate school. Kemeny was awarded his doctorate in 1949 for a dissertation entitled "Type-Theory vs. Set-Theory".
  
  wn.com/John_George_Kemeny
• Jon Barwise
  Kenneth Jon Barwise (June 29, 1942 – March 5, 2000) was an American mathematician, philosopher and logician who proposed some fundamental revisions to the way that logic is understood and used.
  Born in Independence, Missouri to Kenneth T. and Evelyn, he was a precocious child.
  A pupil of Solomon Feferman at Stanford University, Barwise started his research in infinitary logic. After positions as assistant professor at the Universities of Yale and Wisconsin, during which time his interests turned to natural language, he returned to Stanford in 1983 to direct the Center for the Study of Language and Information. He began teaching at Indiana University in 1990. He was elected a Fellow of the American Academy of Arts and Sciences in 1999.
  Barwise contended that, by being explicit about the context in which a proposition is made, the situation, many problems in the application of logic can be eliminated. He sought ... to understand meaning and inference within a general theory of information, one that takes us outside the realm of sentences and relations between sentences of any language, natural or formal. In particular, he claimed that such an approach resolved the liar paradox. He made use of Peter Aczel's non-well-founded set theory in understanding "vicious circles" of reasoning.
  
  wn.com/Jon_Barwise
• 
  Kurt Gödel
  Kurt Friedrich Gödel (/ˈkɜrt ɡɜrdəl/; German pronunciation: [ˈkʊʁt ˈɡøːdəl] ( listen); April 28, 1906 – January 14, 1978) was an Austrian/American logician, mathematician, and philosopher. Later in his life he emigrated to the United States to escape the effects of World War II. One of the most significant logicians of all time, Gödel made an immense impact upon scientific and philosophical thinking in the 20th century, a time when many, such as Bertrand Russell, A. N. Whitehead and David Hilbert, were pioneering the use of logic and set theory to understand the foundations of mathematics.
  Gödel is best known for his two incompleteness theorems, published in 1931 when he was 25 years old, one year after finishing his doctorate at the University of Vienna. The more famous incompleteness theorem states that for any self-consistent recursive axiomatic system powerful enough to describe the arithmetic of the natural numbers (for example Peano arithmetic), there are true propositions about the naturals that cannot be proved from the axioms. To prove this theorem, Gödel developed a technique now known as Gödel numbering, which codes formal expressions as natural numbers.
  
  wn.com/Kurt_Gödel
• 
  Leon Henkin
  Leon Albert Henkin (19 April 1921, Brooklyn – 1 November 2006, Oakland, California) was a logician at the University of California, Berkeley. He was principally known for the "Henkin's completeness proof": his version of the proof of the semantic completeness of standard systems of first-order logic.
  Henkin's result was not novel; it had first been proved by Kurt Gödel in his doctoral dissertation which was completed in 1929. (See Gödel's completeness theorem. Gödel published a version of the proof in 1930.) Henkin's 1949 proof is much easier to survey than Gödel's and has thus become the standard choice of completeness proof for presentation in introductory classes and texts.
  The proof is non-constructive (a pure existence proof): while it guarantees that if a sentence α follows (semantically) from a set of sentences Σ, then there is a proof of α from Σ, it gives no indication of the nature of that proof.
  Henkin originally proved the completeness of Church's higher-order logic, and then observed that the same methods of proof could be applied to first-order logic. Henkin's proof for higher-order logic uses a variant of the standard semantics. This variant uses general models (also called Henkin models): the higher types need not be interpreted by the full space of functions; a subset of the function space may be used instead.
  
  wn.com/Leon_Henkin
• Leopold Löwenheim
  Leopold Löwenheim (26 June 1878 in Krefeld, Germany (also the birthplace of Max Zorn) – 5 May 1957 in Berlin) was a German mathematician, known for his work in mathematical logic. The Nazi regime forced him to retire because under the Nuremberg Laws he was considered only three quarters Aryan. In 1943 much of his work was destroyed during a bombing raid on Berlin. Nevertheless, he survived the Second World War, after which he resumed teaching mathematics.
  Löwenheim (1915) gave the first proof of what is now known as the Löwenheim–Skolem theorem, often considered the starting point for model theory.
  Primary:
  Secondary:
  
  
  
  wn.com/Leopold_Löwenheim
• 
  Ludwig Wittgenstein
  Ludwig Josef Johann Wittgenstein (26 April 1889 – 29 April 1951) was an Austrian-British philosopher who worked primarily in logic, the philosophy of mathematics, the philosophy of mind, and the philosophy of language. He was professor in philosophy at the University of Cambridge from 1939 until 1947. In his lifetime, he published just one book review, one article, a children's dictionary, and the 75-page Tractatus Logico-Philosophicus (1921). In 1999, his posthumously published Philosophical Investigations (1953) was ranked as the most important book of 20th-century philosophy, standing out as "...the one crossover masterpiece in twentieth-century philosophy, appealing across diverse specializations and philosophical orientations".Bertrand Russell described him as "the most perfect example I have ever known of genius as traditionally conceived, passionate, profound, intense, and dominating".
  Born in Vienna into one of Europe's wealthiest families, he gave away his entire inheritance. Three of his brothers committed suicide, with Ludwig contemplating it too. He left academia several times: serving as an officer on the frontline during World War I, where he was decorated a number of times for his courage; teaching in schools in remote Austrian villages, where he encountered controversy for hitting children when they made mistakes in mathematics; and working during World War II as a hospital porter in London, where he told patients not to take the drugs they were prescribed, and where no-one knew he was one of the world's most famous philosophers. He described philosophy, however, as "the only work that gives me real satisfaction."
  
  wn.com/Ludwig_Wittgenstein
• 
  Martin Davis
  Martin David Davis, (born 1928, New York City) is an American mathematician, known for his work on Hilbert's tenth problem (Jackson 2008, p. 560). He received his Ph.D. from Princeton University in 1950, where his adviser was Alonzo Church (Jackson 2008, p. 560). He is Professor Emeritus at New York University. He is the co-inventor of the Davis-Putnam and the DPLL algorithms. He is a co-author, with Ron Sigal and Elaine J. Weyuker, of Computability, Complexity, and Languages, Second Edition: Fundamentals of Theoretical Computer Science, a textbook on the theory of computability. He is also known for his model of Post–Turing machines.
  Davis's parents knew each other in Łódź, Poland, but did not marry until they met again in New York City (Jackson 2008, p. 560). Davis grew up in the Bronx, where his parents encouraged him to obtain a full education (Jackson 2008, p. 561).
  See Criticism of non-standard analysis
  
  wn.com/Martin_Davis
• 
  Nathan Salmon
  Nathan U. Salmon (né Nathan Salmon Ucuzoglu, 1951-) is an American philosopher in the analytic tradition, specializing in metaphysics, philosophy of language, and philosophy of logic.
  Salmon was born January 2, 1951 in Los Angeles to a working-class family of Sephardi Jews of Spanish-Turkish heritage. He is the grandson of archivist Emily Sene (née Emily Perez) and oud player Isaac Sene.
  The first person in his family to go to college, Salmon attended El Camino College and the University of California, Los Angeles (UCLA). At UCLA he studied with Tyler Burge, Alonzo Church, Keith Donnellan, Donald Kalish, David Kaplan, Saul Kripke, and Yiannis Moschovakis. Salmon earned his Ph.D. in 1979 while he was assistant professor of philosophy at Princeton University. In 1984 the Council of Graduate Schools awarded him the Gustave O. Arlt Award in the Humanities, on the basis of his book, Reference and Essence (1981), which was based on his UCLA doctoral dissertation. His second book, Frege's Puzzle (1986), was selected by Scott Soames for a literary website as one of the best five books on the philosophy of language.
  
  wn.com/Nathan_Salmon
• 
  Nicholas Rescher
  Nicholas Rescher (born July 15, 1928 in Hagen, Germany) is an American philosopher at the University of Pittsburgh. He is the Co-Chairman of the Center for Philosophy of Science. In a productive research career extending over six decades, Rescher has established himself as a systematic philosopher of the old style and author of a system of pragmatic idealism which weaves together threads of thought from continental idealism and American pragmatism. He is the exponent of a realistic pragmatism which, rejecting the deconstructive approach of some recent pragmatists, construes pragmatic efficacy as an evidential index for such normative features as truth and validity rather than being a substitute or replacement for them. And apart from this larger program Rescher’s many-sided work has made significant contributions to logic (the conception autodescriptive systems of many-sided logic), to the history of logic (the medieval Arabic theory of modal syllogistic), to the theory of knowledge (epistemetrics as a quantitative approach in theoretical epistemology), to the philosophy of science (in particular it its economic aspects and as regards the relation of science and religion). Rescher has also worked in the area of futuristics, and along with Olaf Helmer and Norman Dalkey is co-inaugurator of the so-called Delphi method of forecasting. The Encyclopedia of Bioethics credits Rescher with writing one of the very first articles in the field.
  
  wn.com/Nicholas_Rescher
• Oswald Veblen
  Oswald Veblen (June 24, 1880 – August 10, 1960) was an American mathematician, geometer and topologist, whose work found application in atomic physics and the theory of relativity. He proved the Jordan curve theorem in 1905.
  Veblen was born in Decorah, Iowa. He went to school in Iowa City. He did his undergraduate studies at the University of Iowa, where he received an A.B. in 1898, and Harvard University, where he was awarded a second B.A. in 1900. For his graduate studies, he went to study mathematics at the University of Chicago, where he obtained a Ph.D. in 1903. His dissertation, A System of Axioms for Geometry was written under the supervision of E. H. Moore.
  Veblen taught mathematics at Princeton University from 1905 to 1932. In 1926, he was named Henry B. Fine Professor of Mathematics. In 1932, he helped organize the Institute for Advanced Study in Princeton, resigning his professorship to become the first professor at the Institute that same year. He kept his professorship at the Institute until he was made emeritus in 1950.
  
  wn.com/Oswald_Veblen
• Paul Bernays
  Paul Isaac Bernays (17 October 1888, London – 18 September 1977, Zurich) was a Swiss mathematician, who made significant contributions to mathematical logic, axiomatic set theory, and the philosophy of mathematics. He was an assistant to, and close collaborator with, David Hilbert.
  Bernays spent his childhood in Berlin. Bernays attended the Köllner Gymnasium, 1895-1907. At the University of Berlin, he studied mathematics under Issai Schur, Edmund Landau, Ferdinand Georg Frobenius, and Friedrich Schottky; philosophy under Alois Riehl, Carl Stumpf and Ernst Cassirer; and physics under Max Planck. At the University of Göttingen, he studied mathematics under David Hilbert, Edmund Landau, Hermann Weyl, and Felix Klein; physics under Voigt and Max Born; and philosophy under Leonard Nelson.
  In 1912, the University of Berlin awarded him a Ph.D. in mathematics, for a thesis, supervised by Landau, on the analytic number theory of binary quadratic forms. That same year, the University of Zurich awarded him the Habilitation for a thesis on function theory and Picard's theorem. The examiner was Ernst Zermelo. Bernays was Privatdozent at the University of Zurich, 1912-17, where he came to know George Pólya.
  
  wn.com/Paul_Bernays
• Peter Geach
  Peter Thomas Geach, MA, FBA ( /ˈɡiːtʃ/; born 29 March 1916) is a British philosopher. His areas of interest are the history of philosophy, philosophical logic, and the theory of identity.
  Geach was educated at Balliol College, Oxford. He taught at Birmingham University (1951–1966) and from 1966 at the University of Leeds where he was Professor of Logic in the Department of Philosophy. Geach was given the title of Emeritus Professor of Logic on his retirement in 1981.
  Geach was elected a Fellow of the British Academy (FBA) in 1965.
  He has been awarded the papal cross "Pro Ecclesia et Pontifice" by the Holy See for his philosophical work.
  His early work includes the classic texts Mental Acts and Reference and Generality, the latter defending an essentially modern conception of reference against medieval theories of supposition.
  His Catholic perspective is integral to his philosophy. He is perhaps the founder of Analytical Thomism (though the current of thought running through his and Elizabeth Anscombe's work to the present day was only ostensibly so named forty years later by John Haldane), the aim of which is to synthesise Thomistic and Analytic approaches. He defends the Thomistic position that human beings are essentially rational animals, each one miraculously created. He dismisses Darwinistic attempts to regard reason as inessential to humanity, as "mere sophistry, laughable, or pitiable." He repudiates any capacity for language in animals as mere "association of manual signs with things or performances."
  
  wn.com/Peter_Geach
• Raymond Smullyan
  Raymond Merrill Smullyan (born May 25, 1919) is an American mathematician, concert pianist, logician, Taoist philosopher, and magician.
  Born in Far Rockaway, New York, his first career (like Persi Diaconis a generation later) was stage magic. He then earned a BSc from the University of Chicago in 1955 and his Ph.D. from Princeton University in 1959. He is one of many logicians to have studied under Alonzo Church.
  Born in Far Rockaway, New York, he showed musical talent, winning a gold medal in a piano competition when he was aged 12. The following year, his family moved to Manhattan and he attended Theodore Roosevelt High School in The Bronx as this school offered courses suited to his musical talents, but he left to study on his own as the school did not offer similar courses in mathematics.
  He attended several colleges, studying mathematics and music.
  While a Ph.D. student, Smullyan published a paper in the 1957 Journal of Symbolic Logic showing that Gödelian incompleteness held for formal systems considerably more elementary than that of Gödel's 1931 landmark paper. The contemporary understanding of Gödel's theorem dates from this paper. Smullyan later made a compelling case that much of the fascination with Gödel's theorem should be directed at Tarski's theorem, which is much easier to prove and equally disturbing philosophically. The culmination of Smullyan's lifelong reflection on the classic limitative theorems of mathematical logic is quite readable:
  
  wn.com/Raymond_Smullyan
• Rudolf Carnap
  Rudolf Carnap (May 18, 1891 – September 14, 1970) was an influential German-born philosopher who was active in Europe before 1935 and in the United States thereafter. He was a major member of the Vienna Circle and an advocate of logical positivism.
  Carnap was born to a west German family that had been humble until his parents' generation. He began his formal education at the Barmen Gymnasium. From 1910 to 1914, he attended the University of Jena, intending to write a thesis in physics. But he also studied carefully Kant's Critique of Pure Reason during a course taught by Bruno Bauch, and was one of very few students to attend Gottlob Frege's courses in mathematical logic. After serving in the German army during World War I for three years, he was given permission to study physics at the University of Berlin, 1917–18, where Albert Einstein was a newly appointed professor. Carnap then attended the University of Jena, where he wrote a thesis defining an axiomatic theory of space and time. The physics department said it was too philosophical, and Bruno Bauch of the philosophy department said it was pure physics. Carnap then wrote another thesis, with Bauch's supervision, on the theory of space in a more orthodox Kantian style, and published as Der Raum (Space) in a supplemental issue of Kant-Studien (1922). In it he makes the clear distinction between formal, physical and perceptual (e.g., visual) spaces.
  
  wn.com/Rudolf_Carnap
• 
  Saul Kripke
  Saul Aaron Kripke (born November 13, 1940) is an American philosopher and logician. He is a professor emeritus at Princeton and teaches as a Distinguished Professor of Philosophy at the CUNY Graduate Center. Since the 1960s Kripke has been a central figure in a number of fields related to mathematical logic, philosophy of language, philosophy of mathematics, metaphysics, epistemology, and set theory. Much of his work remains unpublished or exists only as tape-recordings and privately circulated manuscripts. Kripke was the recipient of the 2001 Schock Prize in Logic and Philosophy. A recent poll conducted among philosophers ranked Kripke among the top ten most important philosophers of the past 200 years.
  Kripke has made influential and original contributions to logic, especially modal logic, since he was a teenager. Unusual for a professional philosopher, his only degree is an undergraduate degree from Harvard, in mathematics. His work has profoundly influenced analytic philosophy, with his principal contribution being a semantics for modal logic, involving possible worlds as described in a system now called Kripke semantics. Another of his most important contributions is his argument that necessity is a 'metaphysical' notion, which should be separated from the epistemic notion of a priori, and that there are necessary a posteriori truths, such as "Water is H₂O." He has also contributed an original reading of Wittgenstein, referred to as "Kripkenstein." His most famous work is Naming and Necessity (1980).
  
  wn.com/Saul_Kripke
• 
  Stephen Cole Kleene
  Stephen Cole Kleene (January 5, 1909, Hartford, Connecticut, United States – January 25, 1994, Madison, Wisconsin) was an American mathematician who helped lay the foundations for theoretical computer science. One of many distinguished students of Alonzo Church, Kleene, along with Alan Turing, Emil Post, and others, is best known as a founder of the branch of mathematical logic known as recursion theory. Kleene's work grounds the study of which functions are computable. A number of mathematical concepts are named after him: Kleene hierarchy, Kleene algebra, the Kleene star (Kleene closure), Kleene's recursion theorem and the Kleene fixpoint theorem. He also invented regular expressions, and was a leading American advocate of mathematical intuitionism.
  Kleene pronounced his last name /ˈkleɪniː/ KLAY-nee. Commonplace mispronunciations include /ˈkliːniː/ and /ˈkliːn/. (His son, Ken Kleene, wrote: "As far as I am aware this pronunciation is incorrect in all known languages. I believe that this novel pronunciation was invented by my father.")^{[citation needed]}
  
  wn.com/Stephen_Cole_Kleene
• Thoralf Skolem
  Thoralf Albert Skolem (23 May 1887 – 23 March 1963) (Norwegian pronunciation: [ˈtuːɾɑlf ˈskuːləm]) was a Norwegian mathematician known mainly for his work on mathematical logic and set theory.
  Although Skolem's father was a primary school teacher, most of his extended family were farmers. Skolem attended secondary school in Kristiania (later renamed Oslo), passing the university entrance examinations in 1905. He then entered Det Kongelige Frederiks Universitet to study mathematics, also taking courses in physics, chemistry, zoology and botany.
  In 1909, he began working as an assistant to the physicist Kristian Birkeland, known for bombarding magnetized spheres with electrons and obtaining aurora-like effects; thus Skolem's first publications were physics papers written jointly with Birkeland. In 1913, Skolem passed the state examinations with distinction, and completed a dissertation titled Investigations on the Algebra of Logic. He also traveled with Birkeland to the Sudan to observe the zodiacal light. He spent the winter semester of 1915 at the University of Göttingen, at the time the leading research center in mathematical logic, metamathematics, and abstract algebra, fields in which Skolem eventually excelled. In 1916 he was appointed a research fellow at Det Kongelige Frederiks Universitet. In 1918, he became a Docent in Mathematics and was elected to the Norwegian Academy of Science and Letters.
  
  wn.com/Thoralf_Skolem
• Wikipedia Persondata
  wn.com/Wikipedia_Persondata
• 
  William of Ockham
  William of Ockham ( /ˈɒkəm/; also Occam, Hockham, or several other spellings; c. 1288 – c. 1348) was an English Franciscan friar and scholastic philosopher, who is believed to have been born in Ockham, a small village in Surrey. He is considered to be one of the major figures of medieval thought and was at the centre of the major intellectual and political controversies of the fourteenth century. Although he is commonly known for Ockham's razor, the methodological principle that bears his name, William of Ockham also produced significant works on logic, physics, and theology. In the Church of England, his day of commemoration is 10 April.
  William of Ockham joined the Franciscan order at an early age. It is believed that he studied theology at the University of Oxford from 1309 to 1321, but never completed his master's degree (the usual undergraduate degree in those times). Because of this, he acquired the byname Venerabilis Inceptor, or "Worthy Beginner" (an inceptor was a student formally admitted to the ranks of teachers by the university authorities). He was also known as the Doctor Invincibilis or "Unconquerable Teacher."
  
  wn.com/William_of_Ockham

• timeline:
• 2012
• 2011
• 2010
• 2009
• 2008
• 2007
• 2006
• 2005
• 2004
• 2003
• 2002
• 2001

• timeline:
• 2012
• 2011
• 2010
• 2009
• 2008
• 2007
• 2006
• 2005
• 2004
• 2003
• 2002
• 2001