"Gottlob Frege created modern logic including "for all," "there exists," and rules of proof. Leibniz and Boole had dealt only with what we now call "propositional logic" (that is, no "for all" or "there exists"). They also did not concern themselves with rules of proof, since their aim was to reach truth by pure calculation with symbols for the propositions. Frege took the opposite track: instead of trying to reduce logic to calculation, he tried to reduce mathematics to logic, including the concept of number."
Quote Details
Added by wikiquote-import-bot
Unverified quote
0 likes
Original Language: English
Available Languages (1)
Sources
p. 6
https://en.wikiquote.org/wiki/Michael_J._Beeson
Revision History
No revisions have been submitted for this quote.
Categories
Michael J. Beeson
5 quotes on TrueQuotesView all quotes by Michael J. Beeson →
Related Quotes
"Alan Turing was the first to make a careful analysis of the potential capabilities of machines, inventing his famous …"
"Gottfried Leibniz is famous... for his slogan Calculemus, which means "Let us calculate." He envisioned a formal lang…"
"George Boole took up Leibniz's idea, and wrote a book he called '. The laws he formulated are now called ... Boole se…"
"Bertrand Russell found Frege's famous error: Frege had overlooked what is now known as the Russell paradox. Namely, F…"
"For him delicious flavors dwell In books as in old Muscatel."
"And in the evening, everywhere Along the roadside, up and down, I see the golden torches flare Like lighted street-la…"
"Song like a rose should be; Each rhyme a petal sweet; For fragrance, melody, That when her lips repeat The words, her…"
"The hunter catches a dreadful prey, the seaman steers his ship into an unspeakable harbor, the plowman sows and reaps…"
"You are the king no doubt, but in one respect, at least, I am your equal: the right to reply. I claim that privilege …"
"When Hector heard that challenge he rejoiced and right in the no man's land along his lines he strode, gripping his s…"