## Leibniz, Complexity and Incompleteness

author: Gregory Chaitin,
University of Auckland

published: Oct. 15, 2008, recorded: September 2008, views: 4029

published: Oct. 15, 2008, recorded: September 2008, views: 4029

# Related content

# Report a problem or upload files

If you have found a problem with this lecture or would like to send us extra material, articles, exercises, etc., please use our**to describe your request and upload the data.**

__ticket system__*Enter your e-mail into the 'Cc' field, and we will keep you updated with your request's status.*

# Description

I will discuss Leibniz's ideas on complexity (Discours de metaphysique, 1686), leading to modern work on program-size complexity, the halting probability and incompleteness. Leibniz's principle of sufficient reason asserts that if anything is true it is true for a reason. But the bits of the numerical value of the halting probability are mathematical truths that are true for no reason. More precisely, as I will explain, they are irreducible mathematical truths, that is, true for no reason simpler than themselves.

# Link this page

Would you like to put a link to this lecture on your homepage?

Go ahead! Copy the HTML snippet !

## Reviews and comments:

Donald DeGracia, November 3, 2008 at 2:15 a.m.:Really brilliant lecture! This fellow is SHARP!!! Let's hear it for empirical mathematics!!

Matus Goljer, January 12, 2012 at 1:13 a.m.:Thanks a lot for putting this online. Great and interesting lecture. Shame it has so few views!

Gregory Chaitin, July 5, 2012 at 2:11 a.m.:For my latest views on incompleteness,

please see my 2012 book

Proving Darwin: Making Biology Mathematical.

--- Gregory Chaitin

meseeks, October 20, 2014 at 6:20 p.m.:Can these results be used compute these results?

meeseeks, October 22, 2014 at 5:07 p.m.:Time to calculate.

If I determine if my own consciousness is a halting problem and the answer is yes my own consciousness has halted.

If the answer is no then my consciousness is not a halting problem and my consciousness is not a halting problem.

meeseeks, October 22, 2014 at 5:16 p.m.:Is this like asking what is the difference between an infinitely straight pure line and an infinitely curved pure line in two dimensions?

meeseeks, October 22, 2014 at 5:31 p.m.:Any work in using something like this to increase code optimization?

Can you write a code that is simple but powerful enough to optimize code from other languages?

## Write your own review or comment: