The Unreasonable Effectiveness of Mathematics in the Natural Sciences
First, read about this topic on wikipedia.
Wigner points out that mathematics explains the natural phenomenon too well. That this needs explanation.
Hamming (1980, 20 yrs later) attributes this to human observational bias.
Tegmark (2007, 27 yrs after Hamming) posits that the universe itself might be a mathematical structure.
Alexandre Miquel (2010, 3 yrs after Tegmark) in The Experimental Effectiveness of Mathematical Proof gives a precise, objective meaning to ‘effectiveness’.
The originals are listed in the reference section (of the wiki article) are well worth reading.
I am a Strange Loop
A book by Douglas Hofstadter about the relationship of the brain with consciousness, and the loop that forms when a symbolic processor must reason about the symbol that represents itself.
There is also a reasonable Douglas Hofstadter video, with Daniel Dennett named “Vicitm of the Brain”
Physics and Five Problems in the Philosophy of Mind
by Stuart Kauffman (available on arXiv)
- how does mind act on matter?
- If mind does not act on matter is mind a mere epiphenomenon?
- What might be the source of free will?
- What might be the source of a responsible free will?
- Why might it have been selectively advantageous to evolve consciousness?
- What is consciousness?
The Free Will Theorem
First read about through slashdot.
Mathematicians John Conway (inventor of the Game of Life) and Simon Kochen of Princeton University have proven that if human experimenters
demonstrate ‘free will’ in choosing what measurements to take on a
particle, then the axioms of quantum mechanics require that the free will
property be available to the particles measured, or to the universe as a
whole. Conway is giving a series of lectures on the ‘Free Will Theorem’
and its ramifications over the next month at Princeton. A followup article
strengthening the theory (PDF) was published last month in Notices of the
The EPR experiment
For a good explanation of the EPR experiment, and how it demonstrates that there is no local hidden variable theory.
Bell’s theorem is given a good explanation on LessWrong
Also, whenever you get into a discussion about the abilities of quantum
phenomena to do weird things, remember that there are some interesting limitations: In particular, the no cloning theorem states that it is not possible to copy a quantum state, because any copying process ends up destroying the original. This is actually a feature when it comes to secure communications.
GÃ¶del’s Incompleteness Theorems
For some fundamental limitations on symbolic logic it really pays to be
aware of GÃ¶del’s Incompleteness Theorems
- A Nanopass Framework for Compiler Education, by Sarkar, Waddell, and Dybvig.
- Writing Your Own Toy Compiler Using Flex, Bison and LLVM, by Loren Segal at gnuu.
- Design Patterns for Teaching Type Checking in a Compiler Construction Course, by Ortin, F. and Zapico, D. and Cueva, J.M.
- The Good IR series, by E. Hennigan.
- Making compiler design relevant for students who will (most likely) never design a compiler, by Debray, S.
- Object Oriented Architecture of High-Performance Compilers, by Lutz Hamel, Diane Meirowitz and Spiro Michaylov.
- SSA is functional programming, by AW Appel.
- Basics of Compiler Design, by Mogensen.
- Compiler Construction, Principals and Practice, by Louden>