ThesaHelp: references il
Group: formalism
Topic: what is a computer
Topic: limitations of formalism
Topic: symbolic representation
Topic: abstraction by name
Topic: history of mathematics
Topic: infinity and infinitesimal
Topic: thought is computational
Topic: boolean values, binary numbers, and bit strings
Topic: history of computers
 
Reference
Kramer, S.,
"Mind, symbolism, formalism: is Leibniz a precursor of artificial intelligence?",
Knowledge Organization, 23, 2, pp. 8387, 1996.
Google
Quotations
83 ;;Quote: Leibniz developed the idea of a formal system as a means to knowledge, and the possibility of transforming a formal system into a real machine
 83 ;;Quote: for Leibniz, formal systems and mechanized symbolic operations establish a norm for how we should think. They do not describe how we think
 84 ;;Quote: in ontological symbolism, a symbol refers to an independent object or thing; with operative symbolism (Leibniz), the meaning of symbols is irrelevant to their manipulation
 84 ;;Quote: a nonlinguistic writing system allows a formal language in which signs are independent of the signified objects; e.g., decimal numbers and Leibniz's characteres
 85 ;;Quote: Leibniz's infinitesimal calculus was independent of what differentials actually are; avoids metaphysical disputes
 85 ;;Quote: in Leibniz's scientia generalis or ars characteristica, all true sentences would be mechanically derived and decidable; errors in reasoning would be calculation mistakes
 86 ;;Quote: Leibniz designed the first fourspecies adding machine and other logical artifacts. He invented the binary number system and related algorithms

Related Topics
ThesaHelp: references il (342 items)
Group: formalism (9 topics, 473 quotes)
Topic: what is a computer (62 items)
Topic: limitations of formalism (92 items)
Topic: symbolic representation (26 items)
Topic: abstraction by name (29 items)
Topic: history of mathematics (57 items)
Topic: infinity and infinitesimal (37 items)
Topic: thought is computational (55 items)
Topic: boolean values, binary numbers, and bit strings (44 items)
Topic: history of computers (66 items)
