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 Tarski
• Alonzo Church
• Ambiguity
• Anecdotal evidence
• Antinomy
• Argument
• Argumentation theory
• Aristotle
• ASTM
• Augustus De Morgan
• Averroes
• Avicenna
• Axiology
• Axiom
• Axiomatic system
• Belief
• Bertrand Russell
• Bias
• Boolean function
• Boolean logic
• Cantor's theorem
• Category Logic
• Chrysippus
• Church–Turing thesis
• Class (set theory)
• Classical logic
• Cogency
• Completeness
• Computability theory
• Computable function
• Consistency
• Countable set
• Credibility
• Crime
• Critical thinking
• David Hilbert
• Decidability (logic)
• Decision problem
• Deductive reasoning
• Deductive system
• Definition
• Degree of truth
• Deontic logic
• Description
• Description logic
• Dialetheism
• Direct evidence
• Domain of a function
• Doxastic logic
• Duns Scotus
• Effective method
• Empty set
• Entailment
• Entscheidungsproblem
• Enumeration
• Epistemology
• Ernst Schröder
• Ernst Zermelo
• Evidence
• Evidence (law)
• Experiments
• Explanation
• Explanatory power
• Extensionality
• Fact
• Fallacy
• Falsifiability
• FBI
• 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
• Georg Cantor
• George Boole
• George Boolos
• Gerhard Gentzen
• Giuseppe Peano
• Gottlob Frege
• Haskell Curry
• Heyting arithmetic
• Hilary Putnam
• History of logic
• Hypothesis
• Indicia
• Inductive reasoning
• Inference
• Informal logic
• Inquiry
• Intuitionism
• Intuitionistic logic
• Jon Barwise
• Kurt Gödel
• Laboratory
• 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
• Mathematical logic
• Mathematical proof
• Mathematics
• Metalogic
• Metamathematics
• Metatheorem
• Modal logic
• Modal operator
• Model theory
• Name
• Natural deduction
• Nominalism
• Non-classical logic
• Non-standard model
• Ontology
• Ontology language
• Opinion
• Ordered pair
• Outline of logic
• Paraconsistent logic
• Paradox
• Parsimony
• Paul Bernays
• Personal experience
• Peter Geach
• Philosophical logic
• Philosophy
• Philosophy of logic
• Platonic realism
• Portal Logic
• Possible world
• Power set
• Pragmatism
• Predicate logic
• Premise
• Presupposition
• Probability
• Proof (truth)
• Proof theory
• Propaganda
• Proposition
• Prudence
• Quantification
• Range (mathematics)
• Raymond Smullyan
• Reason
• Reasonable doubt
• Recursion
• Recursive set
• Reference
• Refutation
• Relevance
• Relevance logic
• Rhetoric
• Rigour
• Rudolf Carnap
• Rule of inference
• Satisfiability
• Saul Kripke
• Scientific evidence
• Second-order logic
• Semantics
• Set (mathematics)
• Set theory
• Soundness
• Square of opposition
• Statement (logic)
• Stephen Cole Kleene
• Strict implication
• Structural rule
• Subset
• Substitution (logic)
• Substructural logic
• Syllogism
• Symbol (formal)
• Syntax (logic)
• Template Logic
• Template talk Logic
• Temporal logic
• Term logic
• Testimony
• Theorem
• Thoralf Skolem
• Truth
• Truth table
• Truth value
• Type theory
• Uncountable set
• Vagueness
• Validity
• Venn diagram
• Well-formed formula
• William of Ockham
• 
  

• FBI
  http://wn.com/FBI

• Alan Ross Anderson
  Alan Ross Anderson (1925 – 1973) was an American logician and professor of philosophy at Yale University and the University of Pittsburgh.
  http://wn.com/Alan_Ross_Anderson
• Alan Turing
  http://wn.com/Alan_Turing
• Alexander Bain
  http://wn.com/Alexander_Bain
• Alfred Tarski
  http://wn.com/Alfred_Tarski
• Alonzo Church
  http://wn.com/Alonzo_Church
• Aristotle
  http://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.
  http://wn.com/Augustus_De_Morgan
• Averroes
  http://wn.com/Averroes
• Avicenna
  http://wn.com/Avicenna
• Bertrand Russell
  http://wn.com/Bertrand_Russell
• 
  Chrysippus
  Chrysippus of Soli (Ancient Greek: , ; c. 279–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.
  http://wn.com/Chrysippus
• 
  David Hilbert
  David Hilbert (; January 23, 1862 –
  http://wn.com/David_Hilbert
• 
  Duns Scotus
  Blessed John (Johannes) Duns Scotus, O.F.M. (c. 1265 – 8 November 1308) was one of the more important theologians and philosophers of the High Middle Ages. He was nicknamed Doctor Subtilis for his penetrating and subtle manner of thought.
  http://wn.com/Duns_Scotus
• Ernst Schröder
  http://wn.com/Ernst_Schröder
• Georg Cantor
  http://wn.com/Georg_Cantor
• George Boole
  http://wn.com/George_Boole
• George Boolos
  http://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 foundation 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.
  http://wn.com/Gerhard_Gentzen
• 
  Giuseppe Peano
  Giuseppe Peano (; 27 August 1858 – 20 April 1932) was an Italian mathematician, whose work was of exceptional 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 in his honor. As part of this axiomatization 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.
  http://wn.com/Giuseppe_Peano
• Gottlob Frege
  http://wn.com/Gottlob_Frege
• Haskell Curry
  http://wn.com/Haskell_Curry
• 
  Hilary Putnam
  Hilary Whitehall Putnam (born July 31, 1926) is an American philosopher who has been a central figure in analytic philosophy since the 1960s, especially in philosophy of mind, philosophy of language, 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.
  http://wn.com/Hilary_Putnam
• Jon Barwise
  __NOTOC__
  http://wn.com/Jon_Barwise
• Kurt Gödel
  http://wn.com/Kurt_Gödel
• Leopold Löwenheim
  http://wn.com/Leopold_Löwenheim
• Ludwig Wittgenstein
  http://wn.com/Ludwig_Wittgenstein
• Paul Bernays
  http://wn.com/Paul_Bernays
• Peter Geach
  Peter Thomas Geach (; born March 29, 1916) is a British philosopher. His areas of interest are the history of philosophy, philosophical logic, and the theory of identity.
  http://wn.com/Peter_Geach
• Raymond Smullyan
  Raymond Merrill Smullyan (born May 25, 1919) is an American mathematician, concert pianist, logician, Taoist philosopher, and magician.
  http://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 leading member of the Vienna Circle and a prominent advocate of logical positivism.
  http://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 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 (see "Unpublished Manuscripts and Online Lectures" below). 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.
  http://wn.com/Saul_Kripke
• Stephen Cole Kleene
  http://wn.com/Stephen_Cole_Kleene
• Thoralf Skolem
  http://wn.com/Thoralf_Skolem
• William of Ockham
  http://wn.com/William_of_Ockham

• The Liner Notes
• Strangers
• The Red Carpet
• It Wasn't Me
• I Don't Need Love
• You
• God Bless That Man
• Fame
• James Hendrix
• Late for the Sky
• Crash
• Where You Come From?
• ...
• To Be Continued...
• Falling Down
• Well Runs Dry
• The Epilogue

• Take U Back
• Pest
• Lost Cause
• I'm Like
• My Way 90291
• Uh Oh
• Shoot 1st
• 421
• Breakout
• Space Gorilla
• On Top
• Darker Clouds
• Ev' n' Al
• Bubbler
• Stomp
• RTD
• Hour Glass
• Memories
• Stockholm
• Wake Up

• Hustle On
• The Bop
• Street Lights
• Vacation
• Hourglass
• The 7th Letter
• Meditation
• 713 Palms
• Amsterdam
• Southwest
• Stadium
• Word of Mouth
• Peace 1st
• Ghostwriter
• USSR
• Travel Plans
• Speed

• I Know
• Weather Report 1
• Mr. Slow Flow
• Letyourselfgo (feat. The Alchemist & Phonte)
• Down in New York City
• A Moment in Time (feat. Planet Asia)
• Look for the Evidence (interlude)
• All Said & Done
• Weather Report 2
• Perfect Storm (feat. Madchild & Raaka)
• Chase the Clouds Away
• NC to CA (feat. Big Pooh, Defari & Joe Scudda)
• Evidence Is Everything
• Things You Do
• Biggest Belgium Fan (interlude)
• Hot & Cold (feat. The Alchemist)
• Line of Scrimmage (feat. Slug)
• Believe in Me (feat. Res)
• Born in LA (feat. Sick Jacken & Chace Infinite)
• Weather Report 3
• I Still Love You

• To the Top
• Los Angelinos (feat. Evidence)
• Hold You Down (KDAY version) (feat. Nina Sky, Prodigy & Evidence)
• For the Record (feat. Dilated Peoples)
• 4th of July
• Dark Clouds (feat. Evidence)
• Get Dead
• Off Top
• G's Like Us
• Look 4 the Evidence (interlude)
• Peace & Gangsta
• Strength in Numbers (feat. Evidence)
• Medicine

• Dog Town
• Strong
• 360
• Alive & Well
• Deeerty
• Rain
• Ragtime
• Three
• S.H.H.H.H.
• Evolve
• Operate
• Fuego
• Slow Roll

• The Evidence (Dangerous version)
• Come Into My Life
• The Evidence (Normal version)
• Explosion of a Planet
• That World's Life
• Evidence's Message

• 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