| 
|
QuoteRef: kramS2_1996
topics >
all references >
ThesaHelp:
references i-l
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. 83-87, 1996. Google
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 non-linguistic 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 four-species adding machine and other logical artifacts. He invented the binary number system and related algorithms
ThesaHelp: references i-l (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)