Lógica matemática: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m Etiquetas: Edição via dispositivo móvel Edição feita através do sítio móvel |
Etiquetas: Edição via dispositivo móvel Edição feita através do sítio móvel |
||
Linha 27:
=== História moderna ===
{{Further|
Teorias lógicas foram desenvolvidas em diversas culturas na história, [[Lógica na China|China]], [[Lógica na Índia|Índia]], [[Lógica na Grécia|Grécia]] e no mundo Islâmico. Na Europa do século XVIII, filósofos matemáticos, como [[Gottfried Wilhelm Leibniz|Leibniz]] e [[Johann Heinrich Lambert|Lambert]] tentaram representar as operações da lógica formal através de símbolos, de forma algébrica mas seus esforços e trabalhos permaneceram isolados e pouco reconhecidos.
| |||