Teoria dowodu
Z Wikipedii
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.
Do głównych zadań teorii dowodu należy kształtowanie takich systemów logicznych wraz z odpowiednimi zestawami aksjomatów, które nadawałyby się do formalizowania dowodów matematycznych, następnie zaś badanie siły tych systemów (im silniejszy system, tym więcej twierdzeń można udowodnić na jego gruncie wychodząc z danego zbioru aksjomatów). Bada się też szczegółowo strukturę dowodów formalnych, co czyni teorię dowodu odpowiednikiem syntaktyki logicznej (czasem obu tych terminów używa się zamiennie).
[edytuj] Zobacz też
- przegląd zagadnień z zakresu matematyki
- automatyczne dowodzenie twierdzeń
- dedukcja naturalna
- klasyczny rachunek logiczny
- system Hilberta.
| Dzikie.NET na sprzedaż |
|
Niniejszym ogłaszam, że serwis Dzikie.NET idzie pod młotek. Oznacza to, że każdy kto chce (i ma odpowiednie fundusze) może stać się jego właścicielem. Na sprzedaż zostaje wystawiona domena dzikie.net (wraz ze wszystkimi subdomenami) oraz prawa do serwisu. .... Czytaj dalej na stronach Dzikie.NET
|
| Dzikie.NET kończy działalność publikacyjną |
|
W związku z obecnie niejasną sytuacją i mnogą ilością zapytań ze strony
naszych Czytelników postanowiliśmy poinformować oficjalnie o stanie, w którym
znajduje się aktualnie Dzikie.NET.
W chwili obecnej Dzikie.NET nie prowadzi już żadnej dzia .... Czytaj dalej na stronach Dzikie.NET
|
| W.I.N.K.O - edycja IV |
|
Oto nastała kolejna chwytająca za serce chwila dla każdego foto entuzjasty w naszych szeregach. Kolektyw zgromadzony wokół wątku organizacyjnego wydał z dumą na świat kolejny temat, zarzewie twórczego pędu, niepohamowanego artyzmu.Tematem elektem z .... Czytaj dalej na stronach Dzikie.NET
|
| Produkty Adobe dla studentów za grosze! |
|
Firma Adobe wprowadziła do oferty pełne wersje swoich produktów dla
studentów dziennych i uczniów szkół średnich w bardzo atrakcyjnych cenach! Każda
osoba .... Czytaj dalej na stronach Dzikie.NET
|
| W.I.N.K.O - edycja trzecia ruszyła |
|
To już trzecia edycja "Wspaniałego I Niepowtarzalnego Konkursu O nic" czyli konkursu foto przeprowadzanego na łamach naszego Forum. Zapraszam wszystkich chętnych - tych mniej i tych bardziej doświadczonych do spróbowania swoich sił w starciu z innymi fo .... Czytaj dalej na stronach Dzikie.NET
|