«Шредер Эрнст»

(Schrö der) — германский математик (1841—1902). Прослушав курс наук в гейдельбергском и кенигсбергском университетах, получил в 1862 г. от гейдельбергского университета степень доктора философии. В этом же году появилась (в "Zeitschrift f ü r Mathematik und Physik") его первая статья: "Ueber die Vielecke von gebrochener Seitenzahl, oder die Bedeutung der Stern-Polygone in der Geometrie" (VII). С 1874 г. профессор в дармштадтском политехникуме и с 1876 г. профессор математики в высшей технической школе в Карлсруэ. Главным предметом исследований Ш. была математическая логика или, по данному им самим названию, логическое исчисление. К занятиям этим предметом и к составлению своего первого посвященного ему сочинения "Der Operationskreis des Logikkalkuls" (на русском языке см. в "Опытах математического изложения логики" В. В. Бобынина, вып. II, M., 1894) он был приведен первоначально изучением сочинения Буля "An investigation of the law's of thought" (Л., 1854). В своем сочинении Ш. является продолжателем работ Буля и Роберта Грассманна, сумевшим внести в изложение предмета существенные и важные усовершенствования и упрощения. Тому же предмету посвящены были: "Note über den Operationskreis des Logikkalkuls" ("Mathematische Annalen", XII, 1877), "Verlesungen ü ber die Algebra der Logik (exakte Logik)" (Лейпциг, 1890—1891); "Algebra und Logik der Relative, der Vorlesungen über die Algebra der Logik dritter Band" (Лейпциг, 1895). Другим математическим наукам Ш. посвятил следующие свои сочинения: "Vier combinatorische Probleme" ("Zeitschrift f ür Mathematik und Physik", XV, 1870; XVI, 1871); "Ein auf die Einheitswurzeln bezü gliches Theorem der Functionenlehre" (там же, XXII, 1877); "Bestimmung des infinitä ren Werthes des Integrals

" (там же, XXV, 1880); "Ueber die Eigenschaften der Binomialcoefficienten, welche mit der Aufl ösung der trinomischen Gleichung zusammenhä ngen" (там же); "Ueber unendlich viele Al gorithmen zur Auflö sung der Gleichungen" ("Mathematische Annalen", II, 1870); "Ueber iterirte Functionen" (там же, III, 1870); "Tafeln der eindeutig umkehrbaren Functionen zweier Variabeln auf den einfachsten Zahlengebieten" (там же, XXIX, 1887); "Ueber ei ne eigentümliche Bestimmung einer Function durch formale Anforderungen" (Crelle's "Journal", XC, 1881); "Ueber die Anzahl der Substitutionen, welche in eine gegebene Zahl von Cyklen zerfallen" (Hoppe's "Archiv f. Math. u. Phys.", LXVIII, 1882); "Ueber zwei Definitionen der Endlichkeit und G. Cantor'sche Sätze" ("Abhandlungen der Leopold.-Carol. Akademie der Naturforscher", LXXI, 1898); "Die selbständige Definition der Mä chtigkeiten 0, 1, 2, 3 und die explicite Gleichzahligkeitsbedingung" (там же). Отдельными изданиями вышло несколько учебников.

В. В. Б—н.

Шрёдер (Schröder) Эрнст (25.11.1841, Мангейм, ‒ 16.6.1902, Карлсруэ), немецкий математик и логик. С 1876 профессор Высшей технической школы в Карлсруэ. Ш. дал систематическое изложение математической логики (точнее, алгебры логики); им введён термин «исчисление высказываний». Автор принципа двойственности и ряда других математических законов логики. Занимался также теорией алгоритмов.

Соч.: Der Operationskreis des Logikkalküls, Lpz., 1877; Vorlesungen über die Algebra der Logik, Bd 1¾2, Lpz., 1890¾1905; Abriss der Algebra der Logik, Tl 1‒2, Lpz., 1909‒10.

ШРЕДЕР Эрнст (1841-1902) - немецкий математик и логик; основополагающие исследования по алгебре логики (алгебре классов) и логике отношений; осуществил первую попытку построения общей теории алгоритмов и исчислений.

Шрёдер Эрнст

(SchrÖder) (1841—1902), немецкий математик и логик. Основополагающие исследования по алгебре логики (алгебре классов) и логике отношений; осуществил первую попытку построения общей теории алгоритмов и исчислений.

* * *

ШРЕДЕР Эрнст (1841—1902), немецкий математик и логик; основополагающие исследования по алгебре логики (алгебре классов) и логике отношений; осуществил первую попытку построения общей теории алгоритмов и исчислений.