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

121 videos foundNext > 

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

A Puzzle about Labeled Logicians

http://demonstrations.wolfram.com/APuzzleAboutLabeledLogicians The Wolfram Demonstrations Project contains thousands of free interactive visualizations, with...

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/scott-kennedy-how-to-prove-a-mathematical-theory Euclid of Alexandria revolutionized the way that mathematic...

Logic with Logicians

http://demonstrations.wolfram.com/LogicWithLogicians The Wolfram Demonstrations Project contains thousands of free interactive visualizations, with new entri...

English logician/mathematician Charles Lutwidge Dodgson (1832-1898) = A video by Lalit Rao.

All About - Alan Turing

What is Alan Turing? A report all about Alan Turing for homework/assignment Alan Mathison Turing, OBE, FRS ( ; 23 June 1912 -- 7 June 1954) was a British mat...

A History Of Western Philosophy Socrates Bertrand Russell

Bertrand Arthur William Russell (1872--1970) was a British philosopher, logician, essayist and social critic best known for his work in mathematical logic an...

Saul Kripke - The First Person 1/7

Saul Aaron Kripke (born November 13, 1940) is an American philosopher and logician. He is a professor emeritus at Princeton and teaches as a Distinguished Pr...

Frege's Foundations: An Obsession with Precision

In which Tom talks about the German logician Gottlob Frege and the background to his grand logico-mathematical project.

121 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

Talk About Mathematical logicians

You can talk about Mathematical logicians with people all over the world in our discussions.

Support Wikipedia

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