Schröder, Ernst

Matematico e logico (Mannheim 1841 - Karlsruhe 1902); prof. al politecnico di Karlsruhe, fu eminente algebrista. Classiche le sue Vorlesungen über die Algebra der Logik (3 voll., 1890-95), in cui viene offerta, basandosi sui lavori di G. Boole e sulla Formenlehre di R. Grassmann, una completa trattazione algebrica del calcolo delle classi e del calcolo proposizionale e un elaborato sviluppo del calcolo delle relazioni di Peirce. Si deve a S. anche un'anticipazione, in relazione al problema dell'introduzione della classe vuota, della teoria russelliana dei tipi. La sua opera influenzò notevolmente, fra i logici posteriori, G. Peano, L. Couturat e C. I. Lewis. Opere: Über die formalen Elemente der absoluten Algebra (1874); Der Operationskreis des Logikkalkuls (1887); Abriss der Algebra der Logik (post., 2 voll., a cura di E. Müller, 1909-10).