George Boole
Boole [buːl], George, britischer Mathematiker und Logiker, * Lincoln 2. 11. 1815, † Ballintemple (bei Cork, Irland) 8. 12. 1864.
Boole erwarb seine Kenntnisse der Mathematik auf autodidaktischem Weg und wurde 1849 Professor für Mathematik in Cork. Er erkannte, dass der mathematische Formalismus extensional ist, und wandte diese Erkenntnis auf die im mathematischen Denken verwendeten logischen Gesetze selbst an. Er entwickelte als Erster einen brauchbaren Logikkalkül und wurde so zum
Informationen zum Artikel
Quellenangabe