100 Days Project

Tukara: 100 days of doodling

My goal is to get back in touch with my long lost drawing skills. I aim to complete one doodle a day for the next 100 days.
*Update* My new project and goal is now to sketch one of the 100 most influential people of last century each day. This will give me an opportunity to learn more about these individuals and what they were known for. The 100 individuals are taken from the collection by TIME Magazine and information taken from Wikipedia.

Also visit: tukaramatthews.com

Day 68:

Day 68 – Kurt Godel

Kurt Friedrich Gödel was an Austrian logician, mathematician, and philosopher. Considered with Aristotle and Frege to be one of the most significant logicians in human history, Gödel made an immense impact upon scientific and philosophical thinking in the 20th century, a time when others such as Bertrand Russell, A. N. Whitehead, and David Hilbert were pioneering the use of logic and set theory to understand the foundations of mathematics.
Gödel published his two incompleteness theorems in 1931 when he was 25 years old, one year after finishing his doctorate at the University of Vienna. The first incompleteness theorem states that for any self-consistent recursive axiomatic system powerful enough to describe the arithmetic of the natural numbers (for example Peano arithmetic), there are true propositions about the naturals that cannot be proved from the axioms. To prove this theorem, Gödel developed a technique now known as Gödel numbering, which codes formal expressions as natural numbers.
He also showed that neither the axiom of choice nor the continuum hypothesis can be disproved from the accepted axioms of set theory, assuming these axioms are consistent. The former result opened the door for mathematicians to assume the axiom of choice in their proofs. He also made important contributions to proof theory by clarifying the connections between classical logic, intuitionistic logic, and modal logic.