Comment on A Rationalist's Tale

Sat, 10 Sep 2011 11:30:52 GMT

Metaphysics of abstract processes: Pythagoras -> Leibniz -> Turing. Platonism -> monadology -> algorithmic information theory.

Math and logics: Archimedes et al -> Leibniz -> Turing. Logic -> symbolic logic -> theory of computation.

Philosophy of cognition: (haven't researched yet) -> Leibniz -> Turing. ? -> alphabet of thought -> Church-Turing thesis.

Computer engineering: Archimedes -> Pascal-Leibniz -> Turing. Antikythera mechanism -> symbolic calculator -> computer.

Discuss