1. history of computers
By 1812, Babbage noticed a natural harmony between machines and mathematics. Machines are very good at performing repeated without mistakes while mathematics especially the production of mathematics tables often required a series of repeated steps. ... Which meant that could every mathematical statement be either proved or disproved? ... Which meant, is there one definite method by which the provability of any mathematical assertion can be determined? ... Turing showed that there was no way a single function could decide the provability of all mathematical assertions. ...
- Word Count: 2409
- Approx Pages: 10
- Grade Level: High School