Ernst Schröder: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m r2.7.3) (Robô: A adicionar: ar:ارنشت شرودر |
|||
Linha 35:
== Trabalho ==
O trabalho inicial de Schröder sobre [[álgebra]] formal e lógica foi escrito sem conhecimento dos lógicos britânicos [[George Boole]] e [[Augustus De Morgan]]. Ao invés disso, suas fontes foram textos de Ohm, [[Hermann Hankel]], [[Hermann Grassmann]] e [[Robert Grassmann]], todos escritos na tradição germânica da álgebra combinatória e [[análise algébrica]]. (Peckhaus 1997: 233-296). Em [[1873]], Schröder conheceu os trabalhos de Boole e De Morgan sobre lógica. A estes trabalhos ele acrescentou vários conceitos importantes graças a [[Charles Peirce]], incluindo os de subsunção (considerar um elemento como parte de um conjunto maior) e quantificação.
Schröder também deu contribuições originais aos estudos de [[álgebra]], [[teoria dos conjuntos]], [[reticulado]], [[relação de ordem]] e [[número ordinal|números ordinais]]. Junto com [[Georg Cantor]], descobriu o ''Teorema de Cantor–Bernstein–Schröder", apesar da demonstração por ele feita conter falhas. Posteriormente [[Felix Bernstein]] (1878-1956) corrigiu a demonstração como parte de sua dissertação de [[Ph.D.]].
| |||