Sections
Computability theorists
Model theorists
Proof theorists
Set theorists
Agriculture
Applied sciences
Arts
Belief
Business
Chronology
Culture
Education
Environment
Geography
Health
History
Humanities
Language
Law
Life
Mathematics
Nature
People
Politics
Science
Society
Technology

Vertical bar The vertical bar () is a character with various uses in mathematics, computing, and typography. It may be called by various other names including the pipe (...  Kant's Logic & The Implications for Mathematics Michiel van Lambalgen (Amsterdam) and Dora Achourioti (Amsterdam) give a talk at the MCMP Colloquium (9 Nov, 2011) on the completeness of Kant's Table of Jud...  Bertrand Russell on Religion (1959) Bertrand Russell (May 1872 2 February 1970) was a British philosopher, logician, mathematician, historian, socialist, pacifist and social critic. Although he...  How to prove a mathematical theory  Scott Kennedy View full lesson here: http://ed.ted.com/lessons/scottkennedyhowtoproveamathematicaltheory Euclid of Alexandria revolutionized the way that mathematic...  Eric Pacuit. Social Choice Theory for Logicians. Lecture 1. NASSLLI 2012 University of Texas at Austin.  Godel: Key Thinkers at the University of Sydney KURT GÖDEL AND THE LIMITS OF MATHEMATICS  Professor Mark Colyvan, Professor of Philosophy and Director of the Sydney Centre for the Foundations of Science K...  In Reverent Fear  The Logician The Logician by In Reverent Fear old prerelease song(that never made it onto an album) from In Reverent Fear. Sorry about the artwork it was the best I coul...  28/42 Kurt Gödel: Modern Dev. of the Foundations Of Mathematics In Light Of Philosophy (w/music) A great Book on Kurt Gödel: http://www.amazon.com/dp/0262730871?tag=gargecsguitot20&camp=14573&creative=327641&linkCode=as1&creativeASIN=0262730871&adid=17R...  Alan Turing  Life Stories Alan Turing  Life Stories British mathematician, logician, cryptanalyst, philosopher, computer scientist, mathematical biologist, and marathon and ultra dis...  Frege's Foundations: An Obsession with Precision In which Tom talks about the German logician Gottlob Frege and the background to his grand logicomathematical project. 

Quanta Magazine
Mon, 15 Sep 2014 21:07:30 0700
One might be brazen enough to say that 'mathematics' and 'computer science', as cultures, deserve no credit at all for any type theoretic developments, but only discredit. People like Curry and Howard were outliers even among 'mathematical logicians ...
 Salon 
Salon
Sun, 16 Mar 2014 11:03:56 0700
The adoption of game theory at this time indicates a moment of transition: one in which the physicists and mathematical logicians at RAND are no longer obliged simply to predict the random motion of subatomic particles but to contemplate how their ...
 
Washington Post
Fri, 22 Jun 2012 09:56:12 0700
All that kept Turing's memory alive during those dark years was the dedication of his admirers, an unlikely coalition of mathematical logicians, gay rights advocates and gay rights advocates who were also mathematical logicians. Finally, in 2009, then ...
 
Forbes
Mon, 04 Jun 2012 10:00:59 0700
The problem, according to mathematical logicians was that mathematics wasn't grounded in a rigorous foundation allowing paradoxes to emerge. If mathematics was regrounded on solid ground, then the paradoxes could be eliminated. That project took ...
 
Wired News
Fri, 17 Feb 2012 13:04:15 0800
These were young kids who had just come through World War II, who could repair the electronics on airplanes and get them flying the same day, and von Neumann put them together with mathematical logicians who could imagine a universe created entirely ...
 
Appalachian State University
Thu, 14 Apr 2011 12:26:22 0700
“For over 25 years, mathematical logicians have been trying to find the smallest set of axioms that can prove Hindman's Theorem,” Hirst said. Hirst's work will contribute to the program of reverse mathematics by proving new reverse mathematics results ...
 
Stanford Report
Wed, 28 Mar 2007 13:21:35 0700
Calling Cohen "one of the most brilliant of mathematical logicians," Johnson said: "His work has greatly influenced the foundation and development of mathematics." In 1972, Cohen became the first holder of the Marjorie Mhoon Fair Professorship in ...
 
The Age
Mon, 07 Feb 2011 05:09:02 0800
Widely regarded by colleagues as among the best mathematical logicians under the age of 50 in the world, he would have been a potential contender for any of the great mathematical prizes on offer. Yet his modesty was total. The only time he got excited ...

Oops, we seem to be having trouble contacting Twitter


Searchlight Group
Digplanet also receives support from Searchlight Group.
Visit Searchlight
