The journey towards computation started in the Middle Age and ended in 1931 when Kurt Gödel proved that, within the limits of a consistent formal system, any reasoning could always be expressed as a set of formal rules and then, in some way, mechanized.
-
Subscribe
Subscribed
Already have a WordPress.com account? Log in now.
Pragmatic Opinions 