George Peacock FRS (9 de abril de 1791 – 8 de novembro de 1858) foi um matemático inglês e clérigo anglicano. Ele fundou o que foi chamado de álgebra da lógica britânica.
Início de vida Peacock nasceu em 9 de abril de 1791 no Thornton Hall, Denton, perto de Darlington, County Durham. Seu pai, Thomas Peacock, foi um padre da Igreja da Inglaterra, titular e por 50 anos cura da paróquia de Denton, onde também mantinha uma escola. No início da vida, Peacock não mostrou qualquer precocidade de gênio. Era mais notável por suas façanhas ousadas de escalada do que por qualquer apego especial aos estudos. Inicialmente, recebeu sua educação elementar de seu pai e, em seguida, na Sedbergh School, e aos 17 anos de idade, foi enviado para a Richmond School sob a direção de James Tate, um graduado da Universidade de Cambridge. Nesta escola, ele se distinguiu muito tanto em clássicos quanto na matemática bastante elementar então exigida para a entrada em Cambridge. Em 1809, tornou-se estudante do Trinity College, Cambridge.
Em 1813, Peacock alcançou o posto de Second Wrangler e o segundo prêmio Smith, sendo o senior wrangler John Herschel. Dois anos depois, tornou-se candidato a uma bolsa de estudos (fellowship) em seu colégio e a conquistou imediatamente, em parte devido ao seu conhecimento extenso e preciso dos clássicos. Uma bolsa significava então cerca de £ 200 por ano, válida por sete anos, desde que o bolsista não se casasse enquanto isso, e capaz de ser estendida após os sete anos, desde que o bolsista recebesse as ordens clericais, o que Peacock fez em 1819.
Carreira matemática No ano seguinte à obtenção da bolsa, Peacock foi nomeado tutor e lecturer de seu colégio, posição que manteve por muitos anos. Peacock, em comum com muitos outros estudantes de sua própria posição, ficou profundamente impressionado com a necessidade de reformar a posição de Cambridge, ignorando a notação diferencial para cálculo, e ainda quando era estudante de graduação, formou uma liga com Babbage e Herschel para adotar medidas que a tornassem realidade. Em 1812, eles formaram o que chamaram de Analytical Society, cujo objetivo declarado era defender o d-ismo do Continente contra o ponto-ismo da universidade.
O primeiro movimento por parte da Analytical Society foi traduzir do francês a obra menor de Lacroix sobre cálculo diferencial e integral; foi publicada em 1816.G. Peacock (tradutor)(1816) An Elementary Treatise on the Differential and Integral Calculus por Sylvestre Lacroix, link do Internet Archive Naquela época, a língua francesa tinha os melhores manuais, bem como as maiores obras sobre matemática. Peacock seguiu a tradução com um volume contendo uma copiosa Coleção de Exemplos da Aplicação do Cálculo Diferencial e Integral, que foi publicada em 1820.G. Peacock (1820) Collection of Examples of the Application of the Differential and Integral Calculus, link do Google Books A venda de ambos os livros foi rápida e contribuiu materialmente para promover o objetivo da Sociedade. Naquela época, os high wranglers de um ano tornavam-se os examinadores do mathematical tripos três ou quatro anos depois. Peacock foi nomeado examinador em 1817, e não deixou de usar a posição como uma alavanca poderosa para avançar a causa da reforma. Em suas perguntas definidas para o exame, a notação diferencial foi usada pela primeira vez oficialmente em Cambridge. A inovação não escapou da censura, mas ele escreveu a um amigo da seguinte forma:Alexander Macfarlane (1916) George Peacock em Lectures on Ten British Mathematicians of the 19th Century
Essas poucas frases dão uma visão sobre o caráter de Peacock: ele era um reformador ardente, e poucos anos trouxeram sucesso à causa da Analytical Society.
Outra reforma pela qual Peacock trabalhou foi o ensino de álgebra. Em 1830, publicou Um Tratado sobre Álgebra que tinha por objetivo colocar a álgebra em uma base verdadeiramente científica, adequada ao desenvolvimento que ela havia recebido nas mãos dos matemáticos continentais. Para elevar a ciência astronômica, a Sociedade Astronômica de Londres foi fundada, e os três reformadores Peacock, Babbage e Herschel foram novamente os principais impulsionadores do empreendimento. Peacock foi um dos promotores mais zelosos de um observatório astronômico em Cambridge e um dos fundadores da Sociedade Filosófica de Cambridge.
Em 1831, a British Association for the Advancement of Science realizou sua primeira reunião na antiga cidade de York. Uma das primeiras resoluções adotadas foi obter relatórios sobre o estado e o progresso de ciências particulares, a serem elaborados de tempos em tempos por pessoas competentes para informação das reuniões anuais, e o primeiro a ser colocado na lista foi um relatório sobre o progresso da ciência matemática. William Whewell foi um vice-presidente da reunião; ele foi instruído a selecionar o relator. Ele primeiro perguntou a William Rowan Hamilton, que recusou; então perguntou a Peacock, que aceitou. Peacock tinha seu relatório pronto para a terceira reunião da Associação, que foi realizada em Cambridge em 1833; cobriu Álgebra, Trigonometria e a Aritmética dos Senos.
Em 1837, Peacock foi nomeado Lowndean Professor of Astronomy na Universidade de Cambridge. Um objeto de reforma foram os estatutos da universidade; ele trabalhou duro nisso e foi nomeado membro de uma comissão nomeada pelo Governo para esse fim.
Foi eleito Fellow of the Royal Society em janeiro de 1818.
Em 1842, Peacock foi eleito membro da American Philosophical Society.
Carreira clerical Peacock foi ordenado diácono em 1819, padre em 1822, e nomeado vigário de Wymeswold em Leicestershire em 1826 (até 1835).
Em 1839, foi nomeado Deão de Ely cathedral, Cambridgeshire, posição que manteve pelo resto de sua vida, cerca de 20 anos. Juntamente com o arquiteto George Gilbert Scott, ele empreendeu uma grande restauração do edifício da catedral. Isso incluiu a instalação do teto de tábuas.
Enquanto ocupava esta posição, escreveu um livro-texto sobre álgebra, Um Tratado sobre Álgebra (1830). Posteriormente, uma segunda edição apareceu em dois volumes, um chamado Álgebra Aritmética (1842) e o outro Sobre Álgebra Simbólica e suas Aplicações à Geometria de Posição (1845).
Álgebra simbólica
A principal contribuição de Peacock para a análise matemática é sua tentativa de colocar a álgebra em uma base estritamente lógica. Ele fundou o que foi chamado de álgebra da lógica britânica; à qual pertenceram Gregory, De Morgan e Boole. Sua resposta a Maseres e Frend foi que a ciência da álgebra consistia em duas partes — álgebra aritmética e álgebra simbólica — e que eles erraram ao restringir a ciência à parte aritmética. Sua visão da álgebra aritmética é a seguinte:A Treatise on Algebra (J. & J. J. Deighton, 1830).
A Treatise on Algebra (2ª ed., Scripta Mathematica, 1842–1845). Vol. 1: Arithmetical Algebra (1842). Vol. 2: On Symbolical Algebra and its Applications to the Geometry of Position (1845) "Na álgebra aritmética consideramos os símbolos como representando números, e as operações às quais eles são submetidos como incluídas nas mesmas definições da aritmética comum; os sinais e denotam as operações de adição e subtração em seu significado comum apenas, e essas operações são consideradas impossíveis em todos os casos onde os símbolos a elas submetidos possuem valores que as tornariam impossíveis caso fossem substituídos por números digitais; assim, em expressões como devemos supor que e são quantidades do mesmo tipo; em outras, como , devemos supor que é maior que e, portanto, homogêneo com ele; em produtos e quocientes, como e devemos supor que o multiplicador e o divisor são números abstratos; todos os resultados, incluindo quantidades negativas, que não são estritamente dedutíveis como conclusões legítimas das definições das várias operações devem ser rejeitados como impossíveis, ou como estranhos à ciência."O princípio de Peacock pode ser enunciado assim: o símbolo elementar da álgebra aritmética denota um digital, ou seja, um número inteiro; e toda combinação de símbolos elementares deve se reduzir a um número digital, caso contrário é impossível ou estranho à ciência. Se e são números, então é sempre um número; mas é um número apenas quando é menor que . Novamente, sob as mesmas condições, é sempre um número, mas é realmente um número apenas quando é um divisor exato de . Daí o seguinte dilema: Ou deve ser considerado uma expressão impossível em geral, ou então o significado do símbolo fundamental da álgebra deve ser estendido para incluir frações racionais. Se o primeiro corno do dilema for escolhido, a álgebra aritmética torna-se uma mera sombra; se o último corno for escolhido, as operações da álgebra não podem ser definidas sob a suposição de que o símbolo elementar é um número inteiro. Peacock tenta sair da dificuldade supondo que um símbolo usado como multiplicador é sempre um número inteiro, mas que um símbolo no lugar do multiplicando pode ser uma fração. Por exemplo, em , pode denotar apenas um número inteiro, mas pode denotar uma fração racional. Ora, não há princípio mais fundamental na álgebra aritmética do que ; o que seria ilegítimo segundo o princípio de Peacock.
Um dos primeiros escritores ingleses sobre aritmética é Robert Recorde, que dedicou sua obra ao Rei Eduardo VI.
O fato é que mesmo na aritmética os dois processos de multiplicação e divisão são generalizados em uma multiplicação comum; e a dificuldade consiste em passar da ideia original de multiplicação para a ideia generalizada de um tensor, que inclui comprimir a magnitude bem como esticá-la. Seja um número inteiro; o próximo passo é obter a ideia do recíproco de , não como mas simplesmente como . Quando e são combinados, obtemos a ideia de uma fração racional; pois em geral não se reduzirá a um número nem ao recíproco de um número.
Suponha, no entanto, que deixemos de lado esta objeção; como Peacock estabelece as bases para a álgebra geral? Ele a chama de álgebra simbólica, e passa da álgebra aritmética para a álgebra simbólica da seguinte maneira: "A álgebra simbólica adota as regras da álgebra aritmética, mas remove totalmente suas restrições; assim, a subtração simbólica difere da mesma operação na álgebra aritmética por ser possível para todas as relações de valor dos símbolos ou expressões empregadas. Todos os resultados da álgebra aritmética que são deduzidos pela aplicação de suas regras, e que são gerais na forma embora particulares no valor, são igualmente resultados da álgebra simbólica onde são gerais no valor tanto quanto na forma; assim, o produto de e que é quando e são números inteiros e, portanto, geral na forma embora particular no valor, será seu produto igualmente quando e são gerais no valor tanto quanto na forma; a série para determinada pelos princípios da álgebra aritmética quando é qualquer número inteiro, se for exibida em uma forma geral, sem referência a um termo final, pode ser mostrada pelo mesmo princípio como a série equivalente para quando é geral tanto na forma quanto no valor."