## 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- Programming Languages as Mathematical Representations
- Looking for references on the expressiveness and computational completeness of a relational programming language
- language handling of memory and other resource failures
- Whither FRP?
- Is there a language with the ability to write arbitrary type functions?
## New forum topics |

## Recent comments

22 hours 21 min ago

23 hours 30 min ago

23 hours 31 min ago

23 hours 39 min ago

1 day 1 hour ago

1 day 9 hours ago

1 day 11 hours ago

1 day 11 hours ago

1 day 11 hours ago

1 day 12 hours ago