Practical foundations of mathematics

What Hacker News says

1. mietekJun 2016
   You may be interested in Paul Taylor’s “Practical foundations of mathematics”.
   thread
2. sbNov 2010
   Because it was not mentioned until now, one of the following might probably come in handy:

   - Basic Category Theory for Computer Scientists by Benjamin C. Pierce (from "Types and Programming Languages" fame)

   - Practical Foundations of Mathematics, by Paul Taylor (has other interesting work on his homepage as well; http://www.paultaylor.eu/~pt/prafm/; somebody on HN pointed me to it, thanks!--Chapters 4,5,7)

   thread
3. ananthrkNov 2009
   Some suggestions (from HN over various threads)

   Practical Foundations of Mathematics http://www.cs.man.ac.uk/~pt/Practical_Foundations/index.html

   Linear Algebra - Gilbert Strang (Book & Videos)

   Linear Algebra and Applications http://www.math.unl.edu/~tshores1/linalgtext.html

   P.S. There was another Introduction to Statistics book that I am not able to find the link for.

   Show morethread
4. MartinMondMay 2009
   I'm currently working through Practical Foundations of Mathematics: http://www.cs.man.ac.uk/~pt/Practical_Foundations/index.html

   The full text is available online, but I recommend you buy a hard copy. Oh and I can vouch that the back cover blurb is totally true.

   thread
5. MartinMondJun 2009
   Thanks! That made me stop watching The Wire and continue working my way through Practical Foundations of Mathematics.
   thread