|
|
|
Polski Serwis Naukowy - OnLine od 1999 roku
 RSS
Dodaj do:
Warto przeczytać: Wynalazcy nowych leków przeciw malarii i białaczce, pionier w badaniach nad technologią słoneczną oraz twórca serii pomysłowych adaptacji wymienników ciepła zostali uhonorowani 28 kwietnia w czasie rozdania nagród w konkursie Europejski Wynalazca Roku 2009 w P... Na przewlekłą obturacyjną chorobę płuc - POChP - cierpi ponad 200 mln osób. Do 2030 r. choroba ta stanie się trzecią najważniejszą przyczyną zgonów na świecie - alarmuje Światowa Organizacja Zdrowia (WHO).Światowy Dzień POChP, obchodzo... Dzieci urodzone przedwcześnie są znacznie bardziej narażone na różne powikłania zdrowotne niż noworodki urodzone o czasie, dlatego wymagają szczególnej opieki - przypominają rodzice maluchów w Światowym Dniu Wcześniaka, który obchodzony je... Organizacja polskich władz w opuszczanej przez Niemców Warszawie, codzienne problemy miasta, ewidencjonowanie mienia, ale i obywatelskie donosy - to obraz stolicy w listopadzie 1918 r. rysujący się z rozkazów Komendy Miasta udostępnionych PAP przez Central... Czy geny bakterii kolonizujących człowieka mają wpływ na nasze zdrowie? Na to pytanie spróbuje odpowiedzieć 15 listopada, podczas swojego wykładu, prof. dr hab. Elżbieta Katarzyna Jagusztyn-Krynicka - dyrektor Instytutu Mikrobiologii Uniwersytetu Warszawskiego.Wystąpienie od...
Ostatnio na Forum:
Dyskusje
8
odp.
4
odp. Reklama:
 Gerhard GentzenCzy wiesz że...? Niemcy (Republika Federalna Niemiec, RFN; do traktatu pomiędzy RFN a Polską Rzecząpospolitą Ludową (1970) w Polsce stosowana była oficjalnie nazwa Niemiecka Republika Federalna, NRF; niem.: Deutschland lub Bundesrepublik Deutschland, BRD) – państwo federacyjne położone w Europie, będące członkiem Unii Europejskiej (UE), Unii Zachodnioeuropejskiej (UZE), G8, ONZ oraz NATO. Stolicą Niemiec jest Berlin (przed połączeniem z NRD – Bonn, obecnie noszące tytuł miasta federalnego). Językiem oficjalnym jest język niemiecki. Uniwersytet Karola w Pradze, czes. Univerzita Karlova v Praze – uniwersytet w Pradze, założony w 1348 przez króla Czech Karola IV Luksemburskiego, najstarszy uniwersytet w Europie Środkowej. 
 Gerhard Gentzen (ur. 24 listopada 1909 w Greifswaldzie, zm. 4 sierpnia 1945 w Pradze) – niemiecki matematyk i logik. Prace Gentzena w dziedzinie logiki miały duży wpływ na powstanie systemów dowodzenia twierdzeń. Gentzen był studentem Bernaysa na uniwersytecie w Getyndze. Po zwolnieniu Bernaysa jako "niearyjczyka" w kwietniu 1933, promotorem jego pracy doktorskiej został Hermann Weyl. Mimo to, aż do wybuchu II wojny światowej Gentzen nadal utrzymywał kontakty z Bernaysem, ryzykując tym własną karierę. Korespondował też z Fraenkelem, przebywającym wówczas w Jerozolimie. W latach 1935–1936, pracujący w Princeton Hermann Weyl czynił wysiłki, by ściągnąć Gentzena do Stanów Zjednoczonych. Paul Isaac Bernays (ur. 17 października 1888 w Londynie, zm. 18 września 1977 w Zurychu), szwajcarski matematyk i logik pochodzenia brytyjskiego. Pracował na stanowisku profesora w Zurychu i Getyndze. Zasłynął jako współtwórca teorii dowodu i jednego z aksjomatycznych ujęć teorii mnogości, znanego jako teoria mnogości von Neumanna-Bernaysa-Gödla. Uważał on, że zbiór jest mnogością tworzącą rzeczywisty przedmiot matematyki, podczas gdy klasa jest orzecznikiem, branym pod uwagę tylko w odniesieniu do jego rozwinięcia. Był autorem takich prac, jak: Grundlagen der Mathematik (t. 1-2, 1934-39, z Davidem Hilbertem), Abhandlungen zur Philosophie der Mathematik (1976).
W teorii mnogości, indukcja pozaskończona to rozszerzenie indukcji matematycznej na zbiory dobrze uporządkowane, czy też nawet na klasę liczb porządkowych. W latach 1935–1939 Gentzen był asystentem Hilberta w Getyndze. Od 1943 roku był wykładowcą na Uniwersytecie Karola w Pradze. Po aresztowaniu przez sowietów 7 maja 1945 roku przebywał w skrajnie ciężkich warunkach i zmarł w wyniku chorób, jakich się wtedy nabawił. Główne prace Gentzena dotyczyły podstaw matematyki, teorii dowodu, dedukcji naturalnej i rachunku sekwentów. Uniwersytet w Getyndze Georg-August-Universität Göttingen zwany Georgiana od imienia Georga Augusta jest znaną wyższą uczelnią w Niemczech. Założona w 1734 roku przez Jerzego II. Od chwili swego powstania aż do dziś jedna z najlepszych uczelni w Niemczech.
Sekwenty Gentzena to jeden z najprostszych sposobów automatycznego dowodzenia twierdzeń rachunku zdań. Został opracowany przed Gerharda Gentzena w 1934 roku. Znany jest również pod nazwą system LK od niemieckiej nazwy Logischer Kalkül. Jest to jednocześnie jedna z formalizacji rachunku predykatów W roku 1936 Gentzen udowodnił za pomocą indukcji pozaskończonej rzędu ε0 niesprzeczność arytmetyki Peano. Linki zewnętrzne
Czy wiesz że...? beta Institute for Advanced Study (IAS, po polsku Instytut Badań Zaawansowanych) jest niezależną od władz i samorządu lokalnego prywatną placówką naukową, prowadzącą najbardziej fundamentalne badania w wielu dziedzinach nauki.
Teoria dowodu to dział logiki matematycznej zajmujący się analizą pojęcia dowodu oraz możliwych sposobów używania go w rozważaniach matematycznych. Za ojca tej dziedziny uważa się Davida Hilberta, jednego z najwybitniejszych matematyków przełomu dziewiętnastego i dwudziestego wieku.
David Hilbert (ur. 23 stycznia 1862 w Królewcu (Prusy Wschodnie) - zm. 14 lutego 1943 w Getyndze) - matematyk niemiecki; zajmował się algebraiczną teorią liczb, teorią równań całkowych, zagadnieniami rachunku wariacyjnego, podstawami geometrii i logiki matematycznej oraz problemami fizyki matematycznej.
Automatyczne dowodzenie twierdzeń (ang. automated theorem proving) to proces, w którym komputer rozstrzyga czy dane twierdzenie jest dowodliwe w jakiejś teorii, często przy okazji generując jego dowód. Twierdzenia te należą zwykle do rachunku zdań lub rachunku predykatów pierwszego rzędu. Powyższa treść oraz zamieszczone w niej powiązane definicje/pojęcia - udostępniane są na licencji Creative Commons: uznanie autorstwa, na tych samych warunkach, z możliwością obowiązywania dodatkowych ograniczeń.
Zobacz szczegółowe informacje o warunkach korzystania
Wszystkie hasła znajdujące się w naszym mirrorze Wikipedii mają znaczenie informacyjne i edukacyjne. Nie mogą być traktowane jako porady. |
