Bakunin’s 'math,coding,russian' books on 카지노싸이트 (4 books)

checkbox

position

cover

title

Incompleteness: The Proof and Paradox of Kurt Gödel

author

Goldstein, Rebecca

isbn

0393327604

isbn13

9780393327601

asin

0393327604

num pages

300 pp

avg rating

3.99

num ratings

1,708

date pub

2005

date pub edition

Feb 17, 2006

Bakunin's rating

really liked it

my rating

1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

add to shelves

review

Rebeccca Goldstein is an American philosopher and writer. This book managed to dive into who Gödel was and what his views on mathematics really meant. Rebeccca Goldstein is an American philosopher and writer. This book managed to dive into who Gödel was and what his views on mathematics really meant. I was intrigued by this myth of a man; a man who seemed only to get more quiet as he grew older. He never seemed to argue against the popular trends of the day yet was quite certain of his own opinion. In fact the last great philosopher he admired was Leibniz. I was interested in how Gödel was formed as a person and given his infamous secrecy this was quite hard for mrs. Goldstein to show. She did a good job despite this difficulties and hints at an early life crisis at the age of 5 when Gödel realized he was smarter than his parents. What does one do in such a situation? How does a child handle that type of uncertainty? One of Goldsteins theories is that Gödels whole life was a reaction to this insight and an attempt to find stable mathematical ground given the uncertainty of the world.

Much has been written about Kurt Gödel and his incompleteness theorem. It is a mathematical theorem which has managed to enthrall even those persons (myself included) who are not mathematicians and has therefore begun to live a life of its own. Wikipedia defines the axiom (or rather axioms as there are two) in the following way:

The first incompleteness theorem states that no consistent system of axioms whose theorems can be listed by an effective procedure (i.e., an algorithm) is capable of proving all truths about the arithmetic of the natural numbers. For any such consistent formal system, there will always be statements about the natural numbers that are true, but that are unprovable within the system. The second incompleteness theorem, an extension of the first, shows that the system cannot demonstrate its own consistency.

I am to this day not quite sure what this means but I interpret it as saying there is something magical to human intuition which cannot be boiled down to the pure rules of a system. You cannot prove a system is true within the system and like the Austrian economists say, you cannot find an objective value to things which can only be evaluated subjectively by an individual. It was also interesting to learn that Gödel was a mathematical platonist, i.e. one who believes in that mathematics exists in reality and are not a system created by humans. Why else would you be able to use math in physics (which explore how the real universe works)?

A delightful read and I recommend it to anyone interested in the history! ...more

notes

Notes are private!

comments

0

votes

3

# times read

2

date started

Jan 10, 2019

not set

date read

Jan 28, 2019

not set

date added

Nov 26, 2013

owned

format

Paperback

actions

view (with text)

Bakunin > Books: math‎ (4)