Extralogical - extralogical.net - Extralogical: All articles
General Information:
Latest News:
Reverse mathematics, constructivism and justification 22 May 2012 | 12:00 pm
In a recent talk I argued that computational reverse mathematics fails to preserve the justificatory structure of foundational programmes, and consquently cannot provide the kind of foundational analy...
Learning mathematical philosophy 5 Mar 2012 | 02:00 pm
The Munich Center for Mathematical Philosophy is publishing resources on their website for students interested in learning mathematical philosophy, including my handout on the compactness and Löwenhei...
An introduction to reverse mathematics 2 Mar 2012 | 02:00 pm
Reverse mathematics is a programme in mathematical logic to calibrate the proof-theoretic strength of theorems of ordinary mathematics by demonstrating their equivalence to subsystems of second order ...
Developing arithmetic in Gödel's system T 11 Apr 2011 | 12:00 pm
The modern formulation of Gödel's system T is a typed λ-calculus which can represent the natural numbers. This article illustrates the development of arithmetic functions within T.
Firmin, a JavaScript animation library 4 Apr 2011 | 12:00 pm
Firmin is a JavaScript animation library that uses CSS transforms and transitions to create smooth, hardware-accelerated animations. This article discusses the development of the library, and explains...
How to compile your own Nginx and Passenger 16 Mar 2011 | 11:00 am
Tutorial explaining how to compile Nginx and Passenger to serve Ruby web applications.
Truth tables in Haskell 2 Mar 2011 | 01:00 pm
Hatt is a command-line program and Haskell library for parsing expressions in classical propositional logic and printing their truth tables.
Approaches to currying in JavaScript 21 Aug 2010 | 12:00 pm
Due to its dynamic nature, no single currying technique is universally efficacious in JavaScript programming. In this article, various approaches to currying in JavaScript are discussed, together with...
