Open main menu

Wikipedia β


Mathematical logic

35 bytes removed, 1 year ago
Undid revision 721849484 by (talk) - undo nonsense edit
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.
=== 19th century ===MARCELIUS, Tkst 2x=x^2; 130.
<!-- symbolic logic -->