digplanet beta 1: Athena
Share digplanet:

Computability theorists

Model theorists

Proof theorists

Set theorists



Applied sciences























Computability theorists

Model theorists

Proof theorists

Set theorists



A. H. Lightstone

Abraham Robinson

Albert Muchnik

Andrej Bauer

Andrey Markov, Jr.

Andrzej Grzegorczyk

Arthur Prior

Benedict Freedman

Benedikt Löwe

Bernard Bolzano

Charles Parsons (philosopher)

Colin McLarty

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é

Ruy de Queiroz

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

Victor Shestakov

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.
221 videos foundNext > 

Lewis Caroll: Logician - Professor Tony Mann

A short mind-bending trip through the wonderful world of Mathematical Paradoxes. This short video discusses the work of Lewis Caroll, who is most famous for ...

Kant's Logic & 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 ...

Metaphors, mathematics & the imagination | Roger Antonsen | TEDxOslo

Mathematics is about finding patterns, representing patterns, making assumptions, and changing perspectives. In this talk, Roger Antonsen, highlights the ...

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

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 Godel shocked the ...

IMPLIES Operator & Logical Connectives Properties and Examples : Discrete Mathematics

IMPLIES Operator & Logical Connectives Properties When we make a logical inference or deduction, we reason from a antecedent (hypothesis or assumption) ...

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

GATE LECTURE : Discrete Mathematics : Conditional and Biconditional Connectives

Conditional and Biconditional Connectives Discrete Mathematics conditional and biconditional statements conditional and biconditional propositions conditional ...

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

NASSLLI 2012 University of Texas at Austin.

Gödel's Lasting Legacy

Austrian logician Kurt Gödel's incompleteness theorems showed us the limitations of mathematics within mathematics. While math is still useful for proving ...

221 videos foundNext > 

10 news items

Breitbart News

Breitbart News
Sun, 27 Sep 2015 04:05:20 -0700

Mathematical logicians would say even God cannot create a mathematical contradiction. Can God create both an irresistible force and an immovable object — a theological question that was heavily debated a century ago? The conundrums become much ...

The Independent

The Independent
Sat, 27 Jun 2015 14:40:10 -0700

In a patent dispute between two pharmaceutical giants arguing over who owns the royalty rights to a lucrative wound-dressing solution, their lordships sat in judgment over an issue that would have tested the mettle of the finest mathematical logicians ...
Sun, 30 Aug 2015 17:55:28 -0700

[This post includes links to the 12 amicus briefs supporting Sequenom's petition for en banc rehearing in this Subject Matter Eligibility Case.] by Dennis Crouch. Ariosa Diagnostics, Inc v. Sequenom, Inc. (Fed. Cir. 2015) (en banc petition 2015). This ...


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


Sun, 16 Mar 2014 11:03:56 -0700

Levittown— You can imagine how it will look from space: the houses and roads and backyards arranged in neatly ordered rows, a framework of streetlights and driveways in a perfectly arranged grid at night. Located on what was once an expanse of potato ...
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 ...
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 ...

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