Personal tools

Mathematics

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
m (Formatting word (a title) better)
m (Type-check with ispell, somewhat better phrases, a little more detail in an example)
Line 7: Line 7:
 
Paul Taylor: [http://www.cs.man.ac.uk/~pt/Practical_Foundations/index.html Practical Foundations of Mathematics]. Free online book on mathematics, huge areas of mathematics are described thoroughly, many of them closely related to computer science and functional programming (relational algebra, category theory, Curry-Howard isomorphism).
 
Paul Taylor: [http://www.cs.man.ac.uk/~pt/Practical_Foundations/index.html Practical Foundations of Mathematics]. Free online book on mathematics, huge areas of mathematics are described thoroughly, many of them closely related to computer science and functional programming (relational algebra, category theory, Curry-Howard isomorphism).
   
[http://www.cs.auckland.ac.nz/CDMTCS/chaitin/ G.J. Chaitin] especially his [http://www.cs.auckland.ac.nz/CDMTCS/chaitin/italy.html Understandable Papers on Incompleteness], especially [http://www.cs.auckland.ac.nz/CDMTCS/chaitin/unknowable/index.html The Unknowable] (the book ''is'' available on this page, just roll the page bellow that big colored photos).
+
[http://www.cs.auckland.ac.nz/CDMTCS/chaitin/ G.J. Chaitin] especially his [http://www.cs.auckland.ac.nz/CDMTCS/chaitin/italy.html Understandable Papers on Incompleteness], especially [http://www.cs.auckland.ac.nz/CDMTCS/chaitin/unknowable/index.html The Unknowable] (the book ''is'' available on this page, just roll the page below that big colored photo).
The book begins with the limits of mathematics: Gödel's undecidable, Turing's uncompatiblity, Chaitin's randomness); ''but'' (or exactly ''that's why''?) it ends with writing on the future and beuty of science.
+
The book begins with the limits of mathematics: Cantor on pradoxes, Gödel on incompleteness, Turing on uncomputability, Chaitin on randomness); ''but'' (or exactly ''that's why''?) it ends with writing on the future and beauty of science.
   
 
== Topics ==
 
== Topics ==

Revision as of 20:14, 7 June 2006

Contents


1 General

Wikipedia's Mathematics article describes the topic, not only its branches, but also how it is related to science, what the role of esthetics is in it, etc.

Paul Taylor: Practical Foundations of Mathematics. Free online book on mathematics, huge areas of mathematics are described thoroughly, many of them closely related to computer science and functional programming (relational algebra, category theory, Curry-Howard isomorphism).

G.J. Chaitin especially his Understandable Papers on Incompleteness, especially The Unknowable (the book is available on this page, just roll the page below that big colored photo). The book begins with the limits of mathematics: Cantor on pradoxes, Gödel on incompleteness, Turing on uncomputability, Chaitin on randomness); but (or exactly that's why?) it ends with writing on the future and beauty of science.

2 Topics