Practical foundations of mathematics

Mentions per year

What Hacker News says

• sb · Nov 24, 2010 · Recommends

  …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)

  on “Mathematics for Computer Science” ↗
• mietek · Jun 10, 2016 · Recommends

  You may be interested in Paul Taylor’s “Practical foundations of mathematics”.

  on “Mathematicians are chronically lost and confused (2014)” ↗
• MartinMond · May 16, 2009 · Recommends

  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.

  on “Ask HN: After SICP, what next?” ↗
• ananthrk · Nov 4, 2009 · Recommends

  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…

  on “Ask HN: the road to learning useful math” ↗
• MartinMond · Jun 20, 2009 · Mentions

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

  on “Mathematician's Lament: An essay on math education and on how we view math” ↗