montanhas de Harz. Sua ideia era utilizar a forca dos ventos e da agua para operar bombas. Ele projetou diversos tipos de bombas e engrenagens mas todos terminaram em fracasso. Leibniz acreditava que isto era devido ao medo dos trabalhadores de perderem seus empregos para o progresso.Uma das grandes conquistas de Leibniz em Matematica foi o desenvolvimento do sistema binario de aritmetica. Ele aperfeicoou seu sistema por volta de 1679, mas nao publicou nada ate 1701, quando ele enviou o trabalho Essay d'une nouvelle science des nombres a Academia de Paris para marcar sua entrada na Academia. Outra grande conquista de Leibniz foi seu trabalho em determinantes, resultado de sua pesquisa em sistemas de equacoes lineares. Embora ele nunca tenha publicado este trabalho, ele desenvolveu diversas abordagens para o problema com diversas notacoes diferentes, tentando encontrar qual era mais util. Um trabalho nao publicado datado de 22 de janeiro de 1684 contem resultados muito satisfatorios.Leibniz continuou a aperfeicoar seu sistema metafisico na decada de 1680, tentando reduzir o raciocinio a uma algebra do pensamento. Leibniz publicou Meditationes de Cognitione, Veritate et Ideis (Reflexoes sobre Conhecimento, Verdade e Ideias) que esclarecia sua teoria sobre o conhecimento. Em fevereiro de 1686 Leibniz escreveu seu Discours de metaphysique (Tratado sobre Metafisica).Em 1684 Leibniz publicou detalhes de seu Calculo Diferencial em Nova Methodus pro Maximis et Minimis, item que Tangentibus... em Acta Eruditorum, um jornal estabelecido em Leipzig apenas ha dois anos. O trabalho continha a notacao ja familiar notacao "d", as regras para o calculo da derivadas de potencias, produtos e quocientes. Contudo nao continha demonstracoes e Jacob Bernoulli chamou aquilo de enigma e nao de explicacao.Em 1686 Leibniz publicou, na Acta Eruditorum, um trabalho sobre o Calculo Integral com a primeira aparicao impressa da notacao .Os Principia de Newton apareceriam no proximo ano. O metodo das fluxoes de Newton foi escrito em 1671, mas Newton falhou em te-lo publicado. Este trabalho ficaria desconhecido ate 1736, quando John Colson produziu uma versao traduzida para o Ingles. Este atraso na publicacao gerou a disputa entre Newton e Leibniz.Em 1710 Leibniz publicou Theodicee, um trabalho filosofico, onde tentava explicar o problema do mal em um mundo criado por um Deus bom. Leibniz afirmava que o Universo tinha de ser imperfeito, para poder ser distinto de Deus. Tambem afirmava que era o melhor Universo possivel, sem ser perfeito. Em 1714 Leibniz escreveu Monadologia que sintetizava as ideias de Theodicee.Muitas das atividades matematica de Leibniz em seus ultimos anos envolveram a disputa sobre a invencao do Calculo. Em 1711 ele leu um trabalho de Keill na Transactions of the Royal Society of London que acusava-o de plagio. Leibniz exigiu uma retratacao dizendo que ele nunca havia ouvido falar do calculo de fluxoes ate ter lido os trabalhos de Wallis. Keill respondeu que as cartas de Newton davam todas as indicacoes necessarias para que Leibniz chegasse aos seus resultados.Leibniz escreveu de novo a Royal Society pedindo a eles que corrigissem o mal produzido pelas afirmacoes de Keill. Em resposta a esta carta, a Royal Society indicou um comite para avaliar