Gottlob Frege, que mesmo com a ambiguidade da liguagem e com algumas inadequações dos sistemas lógicos ja existentes, inventou os quantificadores e a variáveis que fazem parte de suas inúmeras criações de notações simbólicas, que ajudam até hoje nos fundamentos para a lógica matemática. Leibniz tinha uma ideia de desenvolver uma linguagem universal para os cálculos racionais e foi atraves de Frege que ele teve sua ideia concretizada em uma ideografia.
Nenhum comentário:
Postar um comentário