Azərbaycanca
Беларускі
Dansk
Deutsch
Española
Français
Indonesia
Italiana
日本語
Қазақ
Lietuvos
Nederlands
Português
Русский
සිංහල
แบบไทย
Türkçe
Українська
中國人
United State
Afrikaans
Е́рнст Шре́дер (нім. Ernst Schröder; нар. 25 листопада 1841, Мангейм — пом. 16 червня 1902, Карлсруе) — німецький математик і логік, один із засновників математичної логіки.
| Ернст Шредер | |
|---|---|
| нім. Ernst Schröder | |
 | |
| Народився | 25 листопада 1841[1][2][3] Мангайм, Велике герцогство Баден, Німецький союз[4] |
| Помер | 16 червня 1902[1][2][3] (60 років) Карлсруе, Німецька імперія[4] |
| Країна |  Велике герцогство Баден |
| Діяльність | математик, викладач університету |
| Галузь | математика[5] |
| Відомий завдяки | математика |
| Alma mater | Гайдельберзький університет Рупрехта-Карла |
| Науковий керівник | Гессе Людвиг Отто[6] і Густав Роберт Кірхгоф[6] |
| Вчителі | Густав Роберт Кірхгоф |
| Знання мов | німецька[5] |
| Заклад | Дармштадтський технічний університет і Університет Карлсруе |
| |
Ернст Шредер — головна фігура в історії математичної логіки (термін, який він, можливо, винайшов), завдяки підведенню підсумків і продовженню роботи Джорджа Буля, Огастеса Де Моргана, , і особливо Чарлза Пірса. Він найвідоміший монументальною працею «Vorlesungen über die Algebra der Logik» (1890—1895), в 3-х томах, який систематизацією різних систем формальної логіки торував шлях для появи математичної логіки як окремої дисципліни в двадцятому сторіччі.
З 1876 був професором Вищої технічної школи в Карлсруе.
Праця
Vorlesungen
«Vorlesungen über die Algebra der Logik» складається з трьох томів. Перший описує , другий - пропозиційне числення, третій -
Примітки
- Deutsche Nationalbibliothek Record #118761846 // Gemeinsame Normdatei — 2012—2016.
- Архів історії математики Мактьютор — 1994.
- Енциклопедія Брокгауз
- Шрёдер Эрнст // Большая советская энциклопедия: [в 30 т.] / под ред. А. М. Прохоров — 3-е изд. — Москва: Советская энциклопедия, 1969.
- Czech National Authority Database
- Математичний генеалогічний проєкт — 1997.
- Badesa, 2004, с. 18.
- https://www.encyclopediaofmath.org/index.php/Calculus_of_classes
- . Архів оригіналу за 22 липня 2020. Процитовано 13 березня 2020.
{{}}: Обслуговування CS1: Сторінки з текстом «archived copy» як значення параметру title ()
Література
- Badesa, Calixto (2004). (PDF). Princeton University Press. ISBN . Архів оригіналу (PDF) за 11 травня 2022. Процитовано 13 березня 2020.
- Філософський словник / за ред. В. І. Шинкарука. — 2-ге вид., перероб. і доп. — К. : Головна ред. УРЕ, 1986.
Посилання
- Архів історії математики «MacTutor» [ 28 жовтня 2007 у Wayback Machine.] (англ.)
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
E rnst Shre der nim Ernst Schroder nar 25 listopada 1841 Mangejm pom 16 chervnya 1902 Karlsrue nimeckij matematik i logik odin iz zasnovnikiv matematichnoyi logiki Ernst Shredernim Ernst SchroderNarodivsya25 listopada 1841 1841 11 25 1 2 3 Mangajm Velike gercogstvo Baden Nimeckij soyuz 4 Pomer16 chervnya 1902 1902 06 16 1 2 3 60 rokiv Karlsrue Nimecka imperiya 4 Krayina Velike gercogstvo BadenDiyalnistmatematik vikladach universitetuGaluzmatematika 5 Vidomij zavdyakimatematikaAlma materGajdelberzkij universitet Ruprehta KarlaNaukovij kerivnikGesse Lyudvig Otto 6 i Gustav Robert Kirhgof 6 VchiteliGustav Robert KirhgofZnannya movnimecka 5 ZakladDarmshtadtskij tehnichnij universitet i Universitet Karlsrue Mediafajli u Vikishovishi U Vikipediyi ye statti pro inshih lyudej iz prizvishem Shreder Ernst Shreder golovna figura v istoriyi matematichnoyi logiki termin yakij vin mozhlivo vinajshov zavdyaki pidvedennyu pidsumkiv i prodovzhennyu roboti Dzhordzha Bulya Ogastesa De Morgana i osoblivo Charlza Pirsa Vin najvidomishij monumentalnoyu praceyu Vorlesungen uber die Algebra der Logik 1890 1895 v 3 h tomah yakij sistematizaciyeyu riznih sistem formalnoyi logiki toruvav shlyah dlya poyavi matematichnoyi logiki yak okremoyi disciplini v dvadcyatomu storichchi Z 1876 buv profesorom Vishoyi tehnichnoyi shkoli v Karlsrue PracyaVorlesungen Vorlesungen uber die Algebra der Logik skladayetsya z troh tomiv Pershij opisuye drugij propozicijne chislennya tretij PrimitkiDeutsche Nationalbibliothek Record 118761846 Gemeinsame Normdatei 2012 2016 d Track Q27302d Track Q36578 Arhiv istoriyi matematiki Maktyutor 1994 d Track Q547473 Enciklopediya Brokgauz d Track Q237227 Shryoder Ernst Bolshaya sovetskaya enciklopediya v 30 t pod red A M Prohorov 3 e izd Moskva Sovetskaya enciklopediya 1969 d Track Q649d Track Q17378135 Czech National Authority Database d Track Q13550863 Matematichnij genealogichnij proyekt 1997 d Track Q829984 Badesa 2004 s 18 https www encyclopediaofmath org index php Calculus of classes Arhiv originalu za 22 lipnya 2020 Procitovano 13 bereznya 2020 a href wiki D0 A8 D0 B0 D0 B1 D0 BB D0 BE D0 BD Cite web title Shablon Cite web cite web a Obslugovuvannya CS1 Storinki z tekstom archived copy yak znachennya parametru title posilannya LiteraturaBadesa Calixto 2004 PDF Princeton University Press ISBN 978 0 691 05853 5 Arhiv originalu PDF za 11 travnya 2022 Procitovano 13 bereznya 2020 Filosofskij slovnik za red V I Shinkaruka 2 ge vid pererob i dop K Golovna red URE 1986 PosilannyaArhiv istoriyi matematiki MacTutor 28 zhovtnya 2007 u Wayback Machine angl