ШРЕДЕР ЭРНСТ

(25. 11. 1841, Мангейм 16.6. 1902, Карлсруэ), нем. математик и логик. Дал систематич. изложение математич. логики (как алгебры логики), включая теорию отношений; им введён термин « исчисление высказываний» . Сформулировал принцип двойственности и ряд др. математикологич. принципов.

Смотреть больше слов в «Советском философском словаре»

ШТАММЛЕР РУДОЛЬФ →← ШПЕТ ГУСТАВ ГУСТАВОВИЧ

Смотреть что такое ШРЕДЕР ЭРНСТ в других словарях:

ШРЕДЕР ЭРНСТ

(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 г. профессор математики в высшей технической школе в Карлсруэ. Главным предметом исследований Ш. была<span class="italic"> математическая логика</span> или, по данному им самим названию, <span class="italic">логическое исчисление.</span> К занятиям этим предметом и к составлению своего первого посвященного ему сочинения "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<br><p>" (там же, 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" (там же). Отдельными изданиями вышло несколько учебников. <span class="italic"><br><p>В. В. Б—н. </p></span><br></p>... смотреть

ШРЕДЕР ЭРНСТ

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

ШРЕДЕР ЭРНСТ (18411902)

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

ШРЕДЕР ЭРНСТ (18411902)

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

T: 57