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

114 videos foundNext > 

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

NASSLLI 2012 University of Texas at Austin.

FamousMathProbs17: Are all true mathematical statements provable?

Today's Famous Math Problem is usually associated with the work of Kurt Godel, working in the framework of Russell and Whitehead's logistic approach to mathe...

Kant's Logic & Implications for Mathematics

Michiel van Lambalgen (Amsterdam) and Dora Achourioti (Amsterdam) give a talk at the MCMP Colloquium (9 Nov, 2011) titled "The completeness of Kant's Table o...

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

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

Understanding Babel: Ep. 1: The Philosophical Background.

The Philosophical Background. ADDENDUM: I REALISE I GOT WATER BACK-TO-FRONT IN MY DROOLING ATTEMPT AT NARRATION (but then, my point might still be true of a ...

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

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

Kurt Gödel Centenary Full Lectures from the Princeton Institute for Advanced Study

My other Gödel videos start with: http://www.youtube.com/watch?v=B2DY8WvSOLU and my Georg Cantor videos start here: http://www.youtube.com/watch?v=L26Ioa3WAt...

INMENDHAM'S ILLOGICAL ARGUMENT - PSEUDOSCIENCE AND PSEUDO MATHEMATICS

114 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!