Open main menu

Wikipedia β


Mathematical logic

71 bytes added, 1 year ago
Early history
=== Early history ===
{{Further|History of logic}}
Theories of logic were developed in many cultures in history, including [[Logic in China|China]], [[Logic in India|India]], [[Logic in Greece|Greece]] and the [[Logic in Islamic philosophy|Islamic world]]. In 18th-century Europe, attempts to treat the operations of formal logic in a symbolic or algebraic way had been made by philosophical mathematicians including [[Gottfried Wilhelm Leibniz|Leibniz]] and [[Johann Heinrich Lambert|Lambert]], but their labors remained isolated and little known. Magellan founded this logic and is well-respected due to its founding.
=== 19th century ===
Anonymous user