I recently noticed on arXiv that the following manuscript “Implementation and Abstraction in Mathematics” by David McAllester. A couple of years ago, I had taken a graduate course taught by David that had a similar flavour (the material in the manuscript is more advanced, in particular the main results, not to mention it is better organized and the presentation more polished), presenting a type theoretic foundation of mathematics. Although I can’t say I did very well in the course, I certainly enjoyed the ideas in it very much, and thus the above manuscript might be worth a look. Perhaps it might be a good idea to audit that course again, just to make sure I understand the main ideas better this time. :)
Posts Tagged ‘Foundations of Mathematics’
Implementation and Abstraction in Mathematics
Posted in Books, Mathematics, tagged Abstraction, Books, Foundations of Mathematics, Mathematics, Type Theory on August 13, 2014 Leave a Comment »
Blog Stats
 683,825 Visitors

Contact Me
Mail me in case there are any queries or complaints regarding copyright. Mail at :
onionesquereality[at]yahoo[dot] com Recent Comments
Shahzada fahad on Face Recognition/Authenticatio… himel rahman on Face Recognition/Authenticatio… himel rahman on Face Recognition/Authenticatio… Gaddam on Face Recognition using Eigenfa… Shubhendu Trivedi on Where does the Sigmoid in Logi… Alex Keil on Where does the Sigmoid in Logi… CAA on Where does the Sigmoid in Logi… Anderson Briney on Morphogenesis and Swarm R… Shubhendu Trivedi on Neighbourhood Gerrymandering:… Shubhendu Trivedi on Neighbourhood Gerrymandering:… Pages
Archives
 May 2016
 March 2015
 December 2014
 October 2014
 August 2014
 January 2014
 November 2013
 October 2013
 September 2013
 August 2013
 July 2013
 June 2013
 April 2013
 January 2013
 December 2012
 November 2012
 October 2012
 September 2012
 August 2012
 July 2012
 June 2012
 April 2012
 March 2012
 February 2012
 January 2012
 December 2011
 November 2011
 August 2011
 July 2011
 June 2011
 May 2011
 April 2011
 March 2011
 February 2011
 January 2011
 November 2010
 October 2010
 September 2010
 June 2010
 May 2010
 April 2010
 January 2010
 December 2009
 October 2009
 September 2009
 August 2009
 July 2009
 June 2009
 May 2009
 April 2009
 March 2009
 February 2009
 January 2009
 December 2008
 November 2008
 October 2008
 September 2008
 August 2008
 July 2008
 June 2008
 May 2008
 April 2008
 March 2008
 February 2008
 January 2008

Quote for the Week
One of the favorite maxims of my father was the distinction between the two sorts of truths, profound truths recognized by the fact that the opposite is also a profound truth, in contrast to trivialities where opposites are obviously absurd.
 Niels Bohr.
Twitter: Shubhendu
 Kenneth Arrow no more nytimes.com/2017/02/21/bus… The core of his influential thesis now fits in just a couple of pages math.ucla.edu/~tao/arrow.pdf 3 hours ago
 Random find of the day (via my officemate)  a counterintuitive object in higher dimensions  "spherical cube". https://t.co/vqAzYiNmWd 1 day ago
A.I / Machine Learning Blogs
 AAAI Digital Library
 Alexander J. Smola
 Ars Experientia
 Arthur Charpenteir
 Artificial Intelligence and Robotics
 Bayesian Analysis Journal
 Brain + Map + Statistics
 Business Intelligence, Data Mining and Machine Learning
 Carlos M. Fernandes
 Chemoton § Vitorino Ramos’ research notebook
 Computational Information Geometry Wonderland
 Computer Vision Bibliography
 DataWrangling
 Deep Learning
 Developing Intelligence
 EPFL – Laboratory of Intelligent Systems
 Epistasis Blog
 Genetic Argonaut
 GeNeura Team
 Herself’s Artificial Intelligence
 HiZOOK
 ICML Discussion
 Illigal Blogging
 Inductio Ex Machina
 Intelligent Machines
 Jonathan Chang
 Jonathan Manton
 Jorge Tavares
 Kernel Machines Discussion
 LingPipe Blog
 Machine Learning (Theory)
 Machine Learning etc
 Machine Learning News
 Machine Learning Thoughts
 MEDAL Blogging
 MetaOptimize Q and A
 mloss  Open Thoughts
 Never Read Passively
 NLP Blog
 NonHierarchial Network Evolutionary System
 Pyevolve
 Readings in Machine Learning
 Reinforcement Learning Blog
 Robots (Podcasts)
 Social Media, Data Mining & Machine Learning
 Spoken Language Processing
 swarmreferences
 Talking Brains
 The Information Structuralist
 Togelius
Biology / Neurobiology
Foundations
Geek Humor
Mathematics
 ChuCarroll's Blog
 GameTheory.net
 Gödel's Lost Letter and P=NP (RJ Lipton)
 Gil Kalai
 God Plays Dice
 In Theory
 Lance Fortnow
 Mathematical Reflections
 Nuit Blanche
 Planet Math
 Terence Tao
 The Geomblog
 The Journal of Integer Sequences
 The Math Less Travelled
 The MathPages
 The nCategory Café
 The Online Encyclopedia of Number Sequences
 The Squared Circle
 Tim Gowers
 Wolfram Mathworld
MATLAB
Movies and Digital Art
Other Blogs
 Arabidopsisgirl
 Carlos Gershenson
 Computational Complexity
 Epicurean Dealmaker
 Freelancing science
 Jkwiens.com
 Kush Varshnay
 Lamentations on Chemistry
 Less Wrong
 Mahathi’s Blog
 MIT LIDS – Blog
 Mixotricha
 Monica's Jeans
 Paleoglot
 Rashid’s Blog
 Rod Carvalho
 ShtetlOptimized
 Smart Energy
 Thoughts on business, engineering and higher education
 Ubiwar
 Understanding Society
 {metadatta}
Physics
Professional Associations
Random
Technology
 Aeronautics Art Artificial Intelligence Artificial Life Astronomy Atheism BioMedical Engineering Biology Books Business Chemistry Cognitive Science Communications Complexity Computer Science Computer Vision Computing Cosmology Cybernetics Darwinism Data Mining Embedded Systems Ethics Famous Photographs Fun Game Theory History How To Humour Image Processing Intelligent Design Internet Machine Learning Mathematics Memetics Nanotechnology Nature Nature Inspired Computing Neuroscience Philosophy Physics Quotes Random Robotics Science Scientists Signal Processing Software Space Swarm Intelligence Technology Thinkers, Innovators and Artists Uncategorized Video Lectures Vision
My del.icio.us
Top Posts
 Face Recognition using Eigenfaces and Distance Classifiers: A Tutorial
 Some Beautiful Quotes on Mathematics
 Why are Support Vectors Machines called so?
 Conditional Random Fields: A Beginner's Survey
 A Fractal with Zero Area and an Infinite Perimeter?
 Face Recognition/Authentication Using Support Vector Machines
 The Evolution of Programming Languages
 Some Proofs of the CauchySchwarz Inequality
 Visual Illusions#1 : The Vanishing Head Illusion
 Union Bound, Hoeffding Inequality and Some Bounds in Learning Theory  Part I
Top Clicks

Recent Posts

My blog is worth $9,597.18.
How much is your blog worth? Meta