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.
The present paper unfolds in two parts: in the first one, a short biographical profile of Schröder (1841-1902) is offered; in the second one, the structure and the content of Schröder's On the Formal Elements of Absolute Algebra (1874) are reviewed, casting light on some point deserving interest. Aim of this second part is to stress the meta-mathematical features of the text under issue.
@article{RUMI_2016_1_1_2_133_0, author = {Davide Bondoni}, title = {Alcuni pensieri sull'algebra assoluta di Schr\"oder}, journal = {Matematica, Cultura e Societ\`a. Rivista dell'Unione Matematica Italiana}, volume = {1}, year = {2016}, pages = {133-143}, mrnumber = {3586456}, language = {it}, url = {http://dml.mathdoc.fr/item/RUMI_2016_1_1_2_133_0} }
Bondoni, Davide. Alcuni pensieri sull'algebra assoluta di Schröder. Matematica, Cultura e Società. Rivista dell'Unione Matematica Italiana, Tome 1 (2016) pp. 133-143. http://gdmltest.u-ga.fr/item/RUMI_2016_1_1_2_133_0/
[Art98] | MR 1616156
, Galois Theory, Dover Publications Inc., Mineola, New York, 1998.[Bar01] 1901, versione di Erlangen.
(ed.), Geistiges Deutschland. Deutsche Zeitgenosse auf dem Gebiete der Literatur, Wissenschaften und Musik, Adolf Eckstein Verlag, Berlin-Charlottenburg,[Bir40] | MR 1959
, Lattice Theory, American Mathematical Society, Providence, Rhode Island, 1940.[BN11] Jakob lürot, Jahresbericht der deutschen Mathematiker-Vereinigung 20 (1911), no. 1, 279-298.
and ,[Bon07]
, La teoria delle relazioni nell'algebra della logica schröderiana, Led Edizioni, Milano, 2007.[Bon11a] Structural Features in Ernst Schröder's Work, Logic and Logical Philosophy20 (2011), no. 4, 327- 359, Part 1. | MR 2905391 | Zbl 1267.03001
,[Bon11b] Un capitolo nella storia della Logica matematica: Ernst Schröder, Lettera Matematica Pristem78 (2011), 48-53.
,[Bon12] Structural Features in Ernst Schröder's Work, Logic and Logical Philosophy21 (2012), no. 3, 271-315, Part 2. | MR 3418479 | Zbl 1300.03001
,[Bon14a] Schröder and Group Theory, Lettera Matematica International Edition2 (2014), no. 3, 129-132, translated by Kim Williams. | MR 3344520
,[Bon14b] Schröder e la teoria dei gruppi, Lettera Matematica Pristem (2014), no. 90, 31-34.
,[Bon15] To Found or not to Found? That is the Question!, Logic and Logical Philosophy24 (2015), no. 2, 217-240. | MR 3476479 | Zbl 06720028
,[Boo58] 1958, ristampa della prima edizione del 1854. | MR 85180
, An Investigation of the Laws of the Thought, on which are founded the Mathematical Theories of Logic and Probabilities, Dover Publications Inc., New York,[Bra00] | MR 1834718 | Zbl 0958.01009
, From Peirce to Skolem. A Neglected Chapter in the History of Logic, Elsevier, Amsterdam, 2000.[Cas06]
, La matematica della veritàBoringhieri, Torino, 2006.[Ded88] | MR 106846 | Zbl 20.0049.05
, Was sind und was sollen die Zahlen?, Friedr. Vieweg & Sohn, 1888.[Dip91] The Life and Work of Ernst Schröder, Modern Logic1 (1990-1991), no. 2/3, 119-139. | MR 1093551
,[dM66] 1966, edited with an introduction by . | MR 230587 | Zbl 0168.00106
, On the Syllogism and Other Logical Writings, Routledge & Kegan Paul, London,[Gra95] | MR 3076867
, Gebäude des Wissens. Dreiundzwanzigster Band. Die Formenlehre oder Mathematik, in strenger Formelentwicklung, Druck und Verlag von Robert Grassmann, Stettin, 1895.[Han67] 1867, I. Theil. Theorie der complexen Zahlensysteme.
, Vorlesungen über die complexe Zahlen und ihre Funktionen, Leopold Voss, Leipzig,[How06] | MR 2180311
, Fields and Galois Theory, Springer Verlag, London, 2006.[Kor11] Über einen Beweis des Äquivalenzsatzes, Mathematische Annalen70 (1911), no. 2, 294-296. | MR 1511622
,[KY01] 2001, translated from the Russian by A. Shenitzer, H. Grant and O.B. Sheinin. | MR 1832937 | Zbl 0963.01044
and , Mathematics of the 19th Century: Mathematical Logic, Algebra, Number Theory, Probability Theory, Birkhäuser, Basel-Boston-Berlin,[Lov01] Mathematics at the International Congress of Philosophy, Paris, 1900, Bulletin of the American Mathematica Society7 (1901), no. 4, 157-183. | MR 1557779
,[Löw40] Einkleidung der Mathematik in Schröderschen Relativkalkul, Journal of Symbolic Logic5 (1940), 1-15. | MR 1929
,[Lür91] Dr. Ernst Schröder, Vorlesungen über die Algebra der Logik (Exacte Logik). Erster Band. Leipzig, Teubner, 1890, Zeitschrift für Mathematik und Physik36 (1891), 161-169.
,[Lür98] Die Bewegung eines starren Körpes. (Eine Übung in der Ausdehnungslehre.), Zeitschrift für Mathematik und Physik43 (1898), 243-268.
,[Lür02] Ernst Schröder, Jahresbericht der deutschen Mathematiker-Vereinigung12 (1902), 249-265.
,[Lür04] Aus der Algebra der Relative. (Nach dem dritten Bande von E. Schröders Vorlesungen über die Algebra der Logik.), Jahresbericht der deutschen Mathematiker-Vereinigung13 (1904), 73-111.
,[Neu11] | MR 2882171
, The mathematical writings of Évariste Galois, European Mathematical Society, Zürich, 2011.[Pec12] The Beginning of Model Theory in the Algebra of Logic, Probabilities, Laws and Structures (Dordrecht) ( et al., ed.), Springer Verlag, 2012, pp. 419-429. | Zbl 1316.00023
,[Sch73]
, Lehrbuch der Arithmetik und Algebra für Lehrer und Studierende, Teubner, Leipzig, 1873, Band I: die sieben algebraischen Operationen.[Sch74a]
, Abriss der Arithmetik und Algebra für Schüler an Gymnasien und Realschulen, Teubner, Leipzig, 1874, erster Heft: die sieben algebraischen Operationen[Sch74b]
, Ü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]
, Der Operationskreis des Logikkalküls, Druck und Verlag von B.G. Teubner, Leipzig, 1877.[Sch87] Ueber Algorithmen und Calculn, Archiv der Mathematik und Physik (1887), 225-278.
,[Sch88] Veredelung von Pflanzen, Verhandlungen des naturwissenschaftlichen Vereins in Karlsruhe10 (1888), 19-20.
,[Sch90] 1890, Band I.
, Vorlesungen 14ber die Algebra der Logik, Teubner, Leipzig,[Sch91] 1891, Band II.
, Vorlesungen 14ber die Algebra der Logik, Teubner, Leipzig,[Sch95] 1895, Band III.
, Vorlesungen 14ber die Algebra der Logik, Teubner, Leipzig,[Sch98a] Die selbständige Definition der Mächtigkeiten 0, 1, 2, 3 und die explizite Gleichzahligkeitsbe-dingung, Nova Acta Academiae Caesareae Leopoldino-Carolinae Germanicae Naturae Curiosorum71 (1898), 363-376.
,[Sch98b] Ueber zwei Definitionen der Endlichkeit und G. Cantor's Sätze, Nova Acta Academiae Caesareae Leopoldino-Carolinae Germanicae Naturae Curiosorum71 (1898), 301-362.
,[Sch01a] 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] Über G. Cantorsche Sätze, Jahresbericht der deutschen Mathematiker-Vereinigung5 (1901), 81-82.
,[Sch12] 2012, with German parallel text, edited by .
, On the Formal Elements of the Absolute Algebra, Led Edizioni, Milano,[Smi07] | Zbl 1122.20035
, An Introduction to Quasigroups and Their Representations, Chapman & Hall, Boca Raton, 2007.[Sol03]
, Abstract Algebra, American Mathematical Society, Providence, Rhode Island, 2003.[Stj80] 1980, edizione italiana a cura di .
, Storia della logica. la formazione delle idee della logica matematica, Editori Riuniti,[TG87] | Zbl 0654.03036
and , A Formalization of Set Theory without Variables, American Mathematical Society, Providence, Rhode Island, 1987.[uRK15] 2015, 7., komplett überarbeitete und aktualisierte Auflage.
und , Duden: das Aussprachewörterbuch, Duden Verlag, Berlin,[var] Autori vari, Diener 10053, manoscritto di 42 fogli; proprietà dell'autore.
[VY18] 1.
and , Projective Geometry, Ginn and Company, Boston, 1910-1918, volume[War90] | Zbl 0744.00002
, Modern Algebra, Dover Publications, Inc., New York, 1990.