Il presente lavoro si articola in due parti: nella prima verrà presentato un breve profilo biografico di Ernst Schröder (1841-1902), mentre nella seconda parte verranno messi a fuoco la struttura e il contenuto de Sugli elementi formali di un'algebra assoluta di Schröder, fornendo al contempo alcuni spunti di riflessione. Lo scopo principale è quello di mettere in luce la meta-matematicità del lavoro schröderiano preso in esame.
Referenze Bibliografiche
[Art98]
EMIL ARTIN,
Galois Theory,
Dover Publications Inc., Mineola, New York,
1998. |
MR 1616156[Bar01] KARL BARTON (ed.), Geistiges Deutschland. Deutsche Zeitgenosse auf dem Gebiete der Literatur, Wissenschaften und Musik, Adolf Eckstein Verlag, Berlin-Charlottenburg, 1901, versione di Erlangen.
[Bir40]
GARRETT BIRKHOFF,
Lattice Theory,
American Mathematical Society, Providence, Rhode Island,
1940. |
MR 1959[BN11]
A. BRILL and
M. NOETHER,
Jakob lürot,
Jahresbericht der deutschen Mathematiker-Vereinigung 20 (
1911), no. 1, 279-298. |
fulltext EuDML[Bon07] DAVIDE BONDONI, La teoria delle relazioni nell'algebra della logica schröderiana, Led Edizioni, Milano, 2007.
[Bon11a]
DAVIDE BONDONI,
Structural Features in Ernst Schröder's Work,
Logic and Logical Philosophy 20 (
2011), no. 4, 327- 359, Part 1. |
MR 2905391 |
Zbl 1267.03001[Bon11b] DAVIDE BONDONI, Un capitolo nella storia della Logica matematica: Ernst Schröder, Lettera Matematica Pristem 78 (2011), 48-53.
[Bon12]
DAVIDE BONDONI,
Structural Features in Ernst Schröder's Work,
Logic and Logical Philosophy 21 (
2012), no. 3, 271-315, Part 2. |
MR 3418479 |
Zbl 1300.03001[Bon14a]
DAVIDE BONDONI,
Schröder and Group Theory,
Lettera Matematica International Edition 2 (
2014), no. 3, 129-132, translated by Kim Williams. |
fulltext (doi) |
MR 3344520[Bon14b] DAVIDE BONDONI, Schröder e la teoria dei gruppi, Lettera Matematica Pristem (2014), no. 90, 31-34.
[Bon15]
DAVIDE BONDONI,
To Found or not to Found? That is the Question!,
Logic and Logical Philosophy 24 (
2015), no. 2, 217-240. |
MR 3476479 |
Zbl 06720028[Boo58]
GEORGE BOOLE,
An Investigation of the Laws of the Thought, on which are founded the Mathematical Theories of Logic and Probabilities,
Dover Publications Inc., New York,
1958, ristampa della prima edizione del
1854. |
MR 85180[Bra00]
GERALDINE BRADY,
From Peirce to Skolem. A Neglected Chapter in the History of Logic,
Elsevier, Amsterdam,
2000. |
MR 1834718 |
Zbl 0958.01009[Cas06] ETTORE CASARI, La matematica della verità Boringhieri, Torino, 2006.
[Ded88]
RICHARD DEDEKIND,
Was sind und was sollen die Zahlen?,
Friedr. Vieweg & Sohn,
1888. |
MR 106846 |
Zbl 20.0049.05[Dip91]
R.R. DIPERT,
The Life and Work of Ernst Schröder,
Modern Logic 1 (
1990-1991), no. 2/3, 119-139. |
MR 1093551[dM66]
AUGUSTUS DE MORGAN,
On the Syllogism and Other Logical Writings,
Routledge & Kegan Paul, London,
1966, edited with an introduction by
Peter Heath. |
MR 230587 |
Zbl 0168.00106[Gra95]
ROBERT GRASSMANN,
Gebäude des Wissens. Dreiundzwanzigster Band. Die Formenlehre oder Mathematik, in strenger Formelentwicklung,
Druck und Verlag von Robert Grassmann, Stettin, 1895. |
fulltext (doi) |
MR 3076867[Han67] HERMANN HANKEL, Vorlesungen über die complexe Zahlen und ihre Funktionen, Leopold Voss, Leipzig, 1867, I. Theil. Theorie der complexen Zahlensysteme.
[How06]
JOHN M. HOWIE,
Fields and Galois Theory,
Springer Verlag, London,
2006. |
MR 2180311[KY01]
A.N. KOLMOGOROV and
A.P. YUSHKEVICH,
Mathematics of the 19th Century: Mathematical Logic, Algebra, Number Theory, Probability Theory,
Birkhäuser, Basel-Boston-Berlin,
2001, translated from the Russian by A. Shenitzer, H. Grant and O.B. Sheinin. |
fulltext (doi) |
MR 1832937 |
Zbl 0963.01044[Lov01]
E.O. LOVETT,
Mathematics at the International Congress of Philosophy, Paris, 1900,
Bulletin of the American Mathematica Society 7 (
1901), no. 4, 157-183. |
fulltext (doi) |
MR 1557779[Löw40]
LEOPOLD LÖWENHEIM,
Einkleidung der Mathematik in Schröderschen Relativkalkul,
Journal of Symbolic Logic 5 (
1940), 1-15. |
fulltext (doi) |
MR 1929[Lür91] JAKOB LÜROTH, Dr. Ernst Schröder, Vorlesungen über die Algebra der Logik (Exacte Logik). Erster Band. Leipzig, Teubner, 1890, Zeitschrift für Mathematik und Physik 36 (1891), 161-169.
[Lür98] JAKOB LÜROTH, Die Bewegung eines starren Körpes. (Eine Übung in der Ausdehnungslehre.), Zeitschrift für Mathematik und Physik 43 (1898), 243-268.
[Lür02] JAKOB LÜROTH, Ernst Schröder, Jahresbericht der deutschen Mathematiker-Vereinigung 12 (1902), 249-265.
[Lür04]
JAKOB LÜROTH,
Aus der Algebra der Relative. (Nach dem dritten Bande von E. Schröders Vorlesungen über die Algebra der Logik.),
Jahresbericht der deutschen Mathematiker-Vereinigung 13 (
1904), 73-111. |
fulltext EuDML[Neu11]
PETER M. NEUMANN,
The mathematical writings of Évariste Galois,
European Mathematical Society, Zürich,
2011. |
fulltext (doi) |
MR 2882171[Pec12]
VOLKER PECKHAUS,
The Beginning of Model Theory in the Algebra of Logic,
Probabilities, Laws and Structures (Dordrecht) (
Dennis Dieck et al., ed.),
Springer Verlag,
2012, pp. 419-429. |
Zbl 1316.00023[Sch73] ERNST SCHRÖDER, Lehrbuch der Arithmetik und Algebra für Lehrer und Studierende, Teubner, Leipzig, 1873, Band I: die sieben algebraischen Operationen.
[Sch74a] ERNST SCHRÖDER, Abriss der Arithmetik und Algebra für Schüler an Gymnasien und Realschulen, Teubner, Leipzig, 1874, erster Heft: die sieben algebraischen Operationen
[Sch74b] ERNST SCHRÖDER, Über die formalen Elemente der absoluten Algebra, zugleich als Beilage zu dem Programm des Pro- und Real-Gymnasium in Baden-Baden für 1873/1874, E. Schweizerbart'sche Buchdruckerei (E. Koch), Stuttgart, 1874.
[Sch77] ERNST SCHRÖDER, Der Operationskreis des Logikkalküls, Druck und Verlag von B.G. Teubner, Leipzig, 1877.
[Sch87] ERNST SCHRÖDER, Ueber Algorithmen und Calculn, Archiv der Mathematik und Physik (1887), 225-278.
[Sch88] ERNST SCHRÖDER, Veredelung von Pflanzen, Verhandlungen des naturwissenschaftlichen Vereins in Karlsruhe 10 (1888), 19-20.
[Sch90] ERNST SCHRÖDER, Vorlesungen 14ber die Algebra der Logik, Teubner, Leipzig, 1890, Band I.
[Sch91] ERNST SCHRÖDER, Vorlesungen 14ber die Algebra der Logik, Teubner, Leipzig, 1891, Band II.
[Sch95] ERNST SCHRÖDER, Vorlesungen 14ber die Algebra der Logik, Teubner, Leipzig, 1895, Band III.
[Sch98a] ERNST SCHRÖDER, Die selbständige Definition der Mächtigkeiten 0, 1, 2, 3 und die explizite Gleichzahligkeitsbe-dingung, Nova Acta Academiae Caesareae Leopoldino-Carolinae Germanicae Naturae Curiosorum 71 (1898), 363-376.
[Sch98b] ERNST SCHRÖDER, Ueber zwei Definitionen der Endlichkeit und G. Cantor's Sätze, Nova Acta Academiae Caesareae Leopoldino-Carolinae Germanicae Naturae Curiosorum 71 (1898), 301-362.
[Sch01a] ERNST SCHRÖDER, Sur une extension de l'idée d'ordre, Bibliothèque du congrès international de philosophie, III -Logique et Histoire des Sciences (1901), 235-240.
[Sch01b]
ERNST SCHRÖDER,
Über G. Cantorsche Sätze,
Jahresbericht der deutschen Mathematiker-Vereinigung 5 (
1901), 81-82. |
fulltext EuDML[Sch12] ERNST SCHRÖDER, On the Formal Elements of the Absolute Algebra, Led Edizioni, Milano, 2012, with German parallel text, edited by Davide Bondoni.
[Smi07]
JONATHAN D.H. SMITH,
An Introduction to Quasigroups and Their Representations,
Chapman & Hall, Boca Raton,
2007. |
Zbl 1122.20035[Sol03] RONALD SOLOMON, Abstract Algebra, American Mathematical Society, Providence, Rhode Island, 2003.
[Stj80] N.I. STJAŽKIN, Storia della logica. la formazione delle idee della logica matematica, Editori Riuniti, 1980, edizione italiana a cura di Roberto Cordeschi.
[TG87]
A. TARSKI and
S. GIVANT,
A Formalization of Set Theory without Variables,
American Mathematical Society, Providence, Rhode Island,
1987. |
Zbl 0654.03036[uRK15] S. KLEINER und R. KNÖBL, Duden: das Aussprachewörterbuch, Duden Verlag, Berlin, 2015, 7., komplett überarbeitete und aktualisierte Auflage.
[var] Autori vari, Diener 10053, manoscritto di 42 fogli; proprietà dell'autore.
[VY18] O. VEBLEN and J. YOUNG, Projective Geometry, Ginn and Company, Boston, 1910-1918, volume 1.
[War90]
Seth Warner,
Modern Algebra,
Dover Publications, Inc., New York,
1990. |
Zbl 0744.00002
Con il contributo del Ministero per i Beni e le Attività Culturali