digplanet beta 1: Athena
Share digplanet:

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

Sections

Computability theorists

Model theorists

Proof theorists

Set theorists

 

Pages

A. H. Lightstone

Abraham Robinson

Albert Muchnik

Andrey Markov, Jr.

Andrzej Grzegorczyk

Arthur Prior

Benedict Freedman

Benedikt Löwe

Bernard Bolzano

Charles Parsons (philosopher)

Colin McLarty

Condition (philosophy)

Dag Prawitz

Dan Willard

Dana Scott

Dimiter Skordev

Ernst Zermelo

Evert Willem Beth

George Boole

George Boolos

George F C Griss

Gisbert Hasenjaeger

Greg Hjorth

Grigore Moisil

Grigori Mints

Hans Hermes

Heinrich Scholz

Henk Barendregt

Herbert Enderton

Jacek Malinowski

James Earl Baumgartner

Jean-Yves Béziau

Jerzy Giedymin

John Corcoran (logician)

Jon Barwise

Joseph Sgro

Karel Hrbáček

Keith Stroyan

Kurt Schütte

L. E. J. Brouwer

Lyubomir Ivanov (explorer)

László Kalmár

Marek Karpinski

Nate Ackerman

Paul Benacerraf

Paul Bernays

Per Martin-Löf

Peter A. Loeb

Peter B. Andrews

Richard Zach

Robert Goldblatt

Robin Gandy

Rod Downey

Roland Fraïssé

Semën Samsonovich Kutateladze

Sergei Adian

Siegfried Gottwald

Solomon Feferman

Susanna S. Epp

Thoralf Skolem

Ticio Escobar

Tomek Bartoszyński

Torkel Franzén

Ulrich Kohlenbach

Valery Glivenko

Verena Huber-Dyson

William W. Tait

Yehoshua Bar-Hillel

Zygmunt Zawirski

 

Original courtesy of Wikipedia: http://en.wikipedia.org/wiki/Category:Mathematical_logicians — Please support Wikipedia.
This page uses Creative Commons Licensed content from Wikipedia. A portion of the proceeds from advertising on Digplanet goes to supporting Wikipedia.
115 videos foundNext > 

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 MCMP on the completeness of Kant's Table of Judgements and its consequences ...

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...

Eric Pacuit. Social Choice Theory for Logicians. Lecture 1.

NASSLLI 2012 University of Texas at Austin.

How to prove a mathematical theory - Scott Kennedy

View full lesson here: http://ed.ted.com/lessons/scott-kennedy-how-to-prove-a-mathematical-theory Euclid of Alexandria revolutionized the way that mathematic...

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...

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=gargecsguitot-20&camp=14573&creative=327641&linkCode=as1&creativeASIN=0262730871&adid=17R...

Drinker paradox

The drinker paradox (also known as drinker's principle or (the) drinking principle) is a theorem of classical predicate logic, usually stated in natural lang...

In Reverent Fear - The Logician

The Logician by In Reverent Fear old pre-release song(that never made it onto an album) from In Reverent Fear. Sorry about the artwork it was the best I coul...

The Limits of Understanding

This statement is false. Think about it, and it makes your head hurt. If it's true, it's false. If it's false, it's true. In 1931, Austrian logician Kurt Göd...

115 videos foundNext > 

10 news items

Newsweek

Newsweek
Sat, 13 Dec 2014 09:18:43 -0800

In the 1930s only a very small club of mathematical logicians could appreciate Turing's ideas. But amongst these, only Turing himself had the practical urge as well, capable of turning his hand from the 1936 purity of definition to the software ...
 
Quanta Magazine
Mon, 29 Sep 2014 06: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 ...
 
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 ...
 
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 re-grounded on solid ground, then the paradoxes could be eliminated. That project took ...
 
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 ...
Loading

Oops, we seem to be having trouble contacting Twitter

Support Wikipedia

A portion of the proceeds from advertising on Digplanet goes to supporting Wikipedia. Please add your support for Wikipedia!

Searchlight Group

Digplanet also receives support from Searchlight Group. Visit Searchlight