## User login## Navigation |
## Physics, Topology, Logic and Computation: A Rosetta StonePhysics, Topology, Logic and Computation: A Rosetta Stone by John C. Baez and Mike Stay, 2009.
I am not sure whether this should be categorized as "Fun" instead of "Theory", given that "We assume no prior knowledge of category theory, proof theory or computer science". At least one pair from the title (logic and computation) should ring some bells... |
## Browse archives## Active forum topics- Code Completion for Generic Programming
- Why do we need modules at all?
- managing closed worlds of symbols via alpha-renaming in loosely coupled concurrent apps
- CFP: International Conference on Live Coding
- Impact of static type systems on productivity of actual programmers: first experiment I've seen documented.
## New forum topics |

## Recent comments

11 min 51 sec ago

54 min 56 sec ago

1 hour 17 min ago

2 hours 8 min ago

2 hours 13 min ago

3 hours 39 sec ago

4 hours 6 min ago

5 hours 47 min ago

7 hours 30 min ago

9 hours 8 min ago