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

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

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

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

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?

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

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

fangruida image 2011

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

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

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

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

358 videos foundNext > 

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

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