Шрёдер, Эрнст
Эрнст Шрёдер | |
Ernst Schröder | |
Эрнст Шрёдер | |
Дата рождения: | |
---|---|
Место рождения: | |
Дата смерти: | |
Место смерти: | |
Научная сфера: | |
Научный руководитель: |
Эрнст Шрёдер (нем. Ernst Schröder, 25 ноября 1841, Мангейм — 16 июня 1902, Карлсруэ) — немецкий математик и логик.
Биография
После изучения математики и физики в Хайдельберге и Кёнигсберге последовала хабилитация в Цюрихе в 1865 году. Профессор математики Дармштадтского технического университета с 1874 года, затем с 1876 года в прежнем техническом университете в Карлсруэ.
Центральное место в сфере его научных интересов занимали основания математики, теория функций и комбинаторный анализ. В работе Итерированные функции (нем. Ueber iterirte Functionen; 1871) он исследовал функциональные уравнения, которые сегодня называют Уравнениями Шрёдера, играющие важную роль в теории динамических систем. Когда логика стала самостоятельной научной дисциплиной, он начал заниматься алгеброй и символической логикой. Его работы по алгебре логики получили международную известность. Он усовершенствовал логику Джорджа Буля и разработал в 1877 году полную систему аксиом булевой алгебры. Эрнст Шрёдер в трёхтомной Алгебре логики (нем. Algebra der Logik; 1890 — 1895), в отличие от Буля, строит теорию логического исчисления (его авторское название современной математической логики) на основе исчисления классов. Он вносит вклад в развитие алгебры отношений (en:relation algebra), вводит понятие нормальная форма и развивает принцип двойственности в классической логике; использует метод элиминации кванторов для вопросов разрешимости.
Джузеппе Пеано продолжил развитие теории логики Шрёдера. Диссертация Норберта Винера связана с работами Шрёдера (англ. A comparision between the treatment of the Algebra of relatives by Schröder and that by Whitehead and Russell). Альфред Тарский считал работы Шрёдера основополагающими для современной высшей алгебры и истории логики.
Список произведений
- Lehrbuch der Arithmetik und Algebra, 1873
- Über die formalen Elemente der absoluten Algebra, 31 S., Stuttgart, 1874
- Der Operationskreis des Logikkalkuls, 1877
- Vorlesungen über die Algebra der Logik, 3 Bände, [www.archive.org/details/voalgebraderlogi01schrrich Band 1] 1890–1895
- Über das Zeichen, Karlsruhe, 1890
- Über zwei Definitionen der Endlichkeit und G. Cantor'sche Sätze – Abhandlung in der Reihe Kaiserliche Leopoldino-Carolinische Deutsche Akademie der Naturforscher Bd. 71, S. 301–362, Halle, 1898
- Abriß der Algebra der Logik, 2 Teile, Leipzig, 1909/1910
См. также
Напишите отзыв о статье "Шрёдер, Эрнст"
Литература
- Шредер, Эрнст // Энциклопедический словарь Брокгауза и Ефрона : в 86 т. (82 т. и 4 доп.). — СПб., 1890—1907.
Ссылки
- Primary
- Schröder, E., 1877. Der Operationskreis des Logikkalküls. Leipzig: B.G. Teubner.
- Schröder, E., 1890–1905. Vorlesungen über die Algebra der Logik, 3 vols. Leipzig: B.G. Teubner. Reprints: 1966, Chelsea; 2000, Thoemmes Press.
- Vorlesungen über die Algebra der Logik (Exakte Logik) [gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN717192873 Volume 1],
- Vorlesungen über die Algebra der Logik (Exakte Logik) [gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN717193640 Volume 2, Abt. 1]
- Vorlesungen über die Algebra der Logik (Exakte Logik) [gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN717194256 Volume 2, Abt. 2]
- Algebra und Logik der Relative, der Vorlesungen über die Algebra der Logik 3 [gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN717195317 Volume 3, Abt. 1]
- Schröder, E., 1898. "Über zwei Definitionen der Endlichkeit und G. Cantor'sche Sätze", Abh. Kaiserl. Leop.-Car. Akad. Naturf 71: 301–362.
- Both Primary and Secondary
- Brady, Geraldine, 2000. From Peirce to Skolem. North Holland. Includes an English translation of parts of the Vorlesungen.
- Secondary
- Anellis, I. H., 1990–91, "Schröder Materials at the Russell Archives," Modern Logic 1: 237–247.
- Dipert, R. R., 1990/91. "The life and work of Ernst Schröder," Modern Logic 1: 117–139.
- Frege, G., 1960, "A critical elucidation of some points in E. Schröder's Vorlesungen über die Algebra der Logik", translated by Geach, in Geach & Black, Translations from the philosophical writings of Gottlob Frege. Blackwell: 86–106. Original: 1895, Archiv für systematische Philosophie 1: 433–456.
- Ivor Grattan-Guinness, 2000. The Search for Mathematical Roots 1870–1940. Princeton University Press.
- Clarence Irving Lewis, 1960 (1918). A Survey of Symbolic Logic. Dover.
- Peckhaus, V., 1997. Logik, Mathesis universalis und allgemeine Wissenschaft. Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert. Akademie-Verlag.
- Peckhaus, V., 1999, "19th Century Logic between Philosophy and Mathematics," Bulletin of Symbolic Logic 5: 433–450. Reprinted in Glen van Brummelen and Michael Kinyon, eds., 2005. Mathematics and the Historian's Craft. The Kenneth O. May Lectures. Springer: 203–220. Online [www.math.ucla.edu/%7Easl/bsl/0504/0504-001.ps here] or [www-fakkw.upb.de/institute/philosophie/Personal/Peckhaus/Schriftenverzeichnis/Text__19th_century_logic.html here].
- Peckhaus, V., 2004. "Schröder's Logic" in Gabbay, Dov M., and John Woods, eds., Handbook of the History of Logic. Vol. 3: The Rise of Modern Logic: From Leibniz to Frege. North Holland: 557–609.
- Hilary Putnam, 1982, "Peirce the Logician," Historia Mathematica 9: 290–301. Reprinted in his 1990 Realism with a Human Face. Harvard University Press: 252–260. [www.jfsowa.com/peirce/putnam.htm Online fragment.]
- Thiel, C., 1981. "A portrait, or, how to tell Frege from Schröder," History and Philosophy of Logic 2: 21–23.
Отрывок, характеризующий Шрёдер, Эрнст
Люди русского войска были так измучены этим непрерывным движением по сорок верст в сутки, что не могли двигаться быстрее.Чтобы понять степень истощения русской армии, надо только ясно понять значение того факта, что, потеряв ранеными и убитыми во все время движения от Тарутина не более пяти тысяч человек, не потеряв сотни людей пленными, армия русская, вышедшая из Тарутина в числе ста тысяч, пришла к Красному в числе пятидесяти тысяч.
Быстрое движение русских за французами действовало на русскую армию точно так же разрушительно, как и бегство французов. Разница была только в том, что русская армия двигалась произвольно, без угрозы погибели, которая висела над французской армией, и в том, что отсталые больные у французов оставались в руках врага, отсталые русские оставались у себя дома. Главная причина уменьшения армии Наполеона была быстрота движения, и несомненным доказательством тому служит соответственное уменьшение русских войск.
Вся деятельность Кутузова, как это было под Тарутиным и под Вязьмой, была направлена только к тому, чтобы, – насколько то было в его власти, – не останавливать этого гибельного для французов движения (как хотели в Петербурге и в армии русские генералы), а содействовать ему и облегчить движение своих войск.
Но, кроме того, со времени выказавшихся в войсках утомления и огромной убыли, происходивших от быстроты движения, еще другая причина представлялась Кутузову для замедления движения войск и для выжидания. Цель русских войск была – следование за французами. Путь французов был неизвестен, и потому, чем ближе следовали наши войска по пятам французов, тем больше они проходили расстояния. Только следуя в некотором расстоянии, можно было по кратчайшему пути перерезывать зигзаги, которые делали французы. Все искусные маневры, которые предлагали генералы, выражались в передвижениях войск, в увеличении переходов, а единственно разумная цель состояла в том, чтобы уменьшить эти переходы. И к этой цели во всю кампанию, от Москвы до Вильны, была направлена деятельность Кутузова – не случайно, не временно, но так последовательно, что он ни разу не изменил ей.
Кутузов знал не умом или наукой, а всем русским существом своим знал и чувствовал то, что чувствовал каждый русский солдат, что французы побеждены, что враги бегут и надо выпроводить их; но вместе с тем он чувствовал, заодно с солдатами, всю тяжесть этого, неслыханного по быстроте и времени года, похода.
Но генералам, в особенности не русским, желавшим отличиться, удивить кого то, забрать в плен для чего то какого нибудь герцога или короля, – генералам этим казалось теперь, когда всякое сражение было и гадко и бессмысленно, им казалось, что теперь то самое время давать сражения и побеждать кого то. Кутузов только пожимал плечами, когда ему один за другим представляли проекты маневров с теми дурно обутыми, без полушубков, полуголодными солдатами, которые в один месяц, без сражений, растаяли до половины и с которыми, при наилучших условиях продолжающегося бегства, надо было пройти до границы пространство больше того, которое было пройдено.
В особенности это стремление отличиться и маневрировать, опрокидывать и отрезывать проявлялось тогда, когда русские войска наталкивались на войска французов.
Так это случилось под Красным, где думали найти одну из трех колонн французов и наткнулись на самого Наполеона с шестнадцатью тысячами. Несмотря на все средства, употребленные Кутузовым, для того чтобы избавиться от этого пагубного столкновения и чтобы сберечь свои войска, три дня у Красного продолжалось добивание разбитых сборищ французов измученными людьми русской армии.
Толь написал диспозицию: die erste Colonne marschiert [первая колонна направится туда то] и т. д. И, как всегда, сделалось все не по диспозиции. Принц Евгений Виртембергский расстреливал с горы мимо бегущие толпы французов и требовал подкрепления, которое не приходило. Французы, по ночам обегая русских, рассыпались, прятались в леса и пробирались, кто как мог, дальше.
Милорадович, который говорил, что он знать ничего не хочет о хозяйственных делах отряда, которого никогда нельзя было найти, когда его было нужно, «chevalier sans peur et sans reproche» [«рыцарь без страха и упрека»], как он сам называл себя, и охотник до разговоров с французами, посылал парламентеров, требуя сдачи, и терял время и делал не то, что ему приказывали.
– Дарю вам, ребята, эту колонну, – говорил он, подъезжая к войскам и указывая кавалеристам на французов. И кавалеристы на худых, ободранных, еле двигающихся лошадях, подгоняя их шпорами и саблями, рысцой, после сильных напряжений, подъезжали к подаренной колонне, то есть к толпе обмороженных, закоченевших и голодных французов; и подаренная колонна кидала оружие и сдавалась, чего ей уже давно хотелось.