Top Posts
Recent comments
Blogroll
- Astronomy Picture of the Day
- Azimuth
- British Combinatorial Committee
- Comfortably numbered
- Diamond Geezer
- Exploring East London
- From hill to sea
- Gödel's lost letter and P=NP
- Gil Kalai
- Jane's London
- Jon Awbrey
- Kourovka Notebook
- LMS blogs page
- Log24
- London Algebra Colloquium
- London Reconnections
- MathBlogging
- Micromath
- Neill Cameron
- neverendingbooks
- Noncommutative geometry
- numericana hall of fame
- Ratio bound
- Robert A. Wilson's blog
- Since it is not …
- Spitalfields life
- Sylvy's mathsy blog
- SymOmega
- Terry Tao
- The Aperiodical
- The De Morgan Journal
- The ICA
- The London column
- The Lumber Room
- The matroid union
- Theorem of the day
- Tim Gowers
- XKCD
Find me on the web
-
Join 664 other subscribers
Cameron Counts: RSS feeds
Meta
Tag Archives: Alan Turing
The history of computing
Today, the School of Computer Science at St Andrews put on this year’s Distinguished Lectures. The lecturer was Ursula Martin, and she spoke about the history of computing, or more precisely, “What every computer scientist should know about computer history”. … Continue reading
Posted in events, history
Tagged Ada Lovelace, Alan Turing, Charles Babbage, Grace Hopper, Ursula Martin
3 Comments
On foundations
Jack Edmonds stayed in my house for two and a half weeks, while giving his two courses on polyhedral combinatorics in London (I reported on the second one here). Whenever we spend time together, we have a robust discussion about … Continue reading
Posted in Uncategorized
Tagged Alan Turing, commutative law, Gauss, Jack Edmonds, Peano arithmetic, Poincare, Ron Aharoni, words, Zermelo-Fraenkel set theory
3 Comments