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

Benjamin Abram Bernstein

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

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

Wanda Szmielew

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

Logicians in a Bar (Riddle)

Explanation to the riddle of the three logicians. Hope you enjoy!

The famously difficult green-eyed logic puzzle - Alex Gendler

View full lesson: http://ed.ted.com/lessons/the-famously-difficult-green-eyed-logic-puzzle-alex-gendler One hundred green-eyed logicians have been imprisoned ...

The Seemingly Impossible Escape Logic Puzzle

An evil logician takes Alice and Bob captive. They have a chance to escape if they can deduce the total number of trees in the prison. Can they figure it out?

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

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

The Ideas of Quine (1977)

Willard Van Orman Quine of Harvard stands as one of the modern world's most eminent philosophers. In this rare interview conducted by world-renowned author ...

fangruida image 2011

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

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

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

283 videos foundNext > 

We're sorry, but there's no news about "Mathematical logicians" right now.


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