  |
|
| ° Forum ° Odpowiedz ° Rejestracja ° Szukaj ° | |
| ° Magazynowanie ° Protetyka ° Auto giełda ° |
 |
Matma / praktyczna logika |
| . 1 . 2 . 3 . >> |
| Autor | Wiadomość |
| Mateusz Grotek
|
Posted: 19 Cze 2008 22:38:03 Witajcie. Polecono mi wysłanie mojego posta z pl.sci.matematyka także tutaj, więc to robię. Gwoli wyjaśnienia, informacja że chcę używać ZFC jest tu istotna. Oto poniższy post: Witajcie. Czy ktoś zna może jakieś artykuły o dodatkach do składni logiki pierwszego rzędu z ZFC, które czynią ją bardziej praktyczną i/lub skracają dowody? Na razie znalazłem poniższe 3 rzeczy: Naturalna dedukcja "Many-sorted logic" Epsilon hilberta Czy ktoś mógłby mi wskazać jeszcze jakiś "cukier" syntaktyczny, który ułatwi posługiwanie się tą logiką? |
| A.L.
|
Posted: 20 Cze 2008 02:56:24 On Fri, 20 Jun 2008 00:38:03 +0200, Mateusz Grotek Witajcie. Polecono mi wysłanie mojego posta z pl.sci.matematyka także
tutaj, więc to robię. Gwoli wyjaśnienia, informacja że chcę używać ZFC jest tu istotna. Oto poniższy post: Witajcie. Czy ktoś zna może jakieś artykuły o dodatkach do składni logiki pierwszego rzędu z ZFC, które czynią ją bardziej praktyczną Co to znaczy "bardziej praktyczna"?... A.L. |
| Mateusz Grotek
|
Posted: 20 Cze 2008 12:44:09 On Fri, 20 Jun 2008 00:38:03 +0200, Mateusz Grotek
Witajcie. Polecono mi wysłanie mojego posta z pl.sci.matematyka także
tutaj, więc to robię. Gwoli wyjaśnienia, informacja że chcę używać ZFC jest tu istotna. Oto poniższy post: Witajcie. Czy ktoś zna może jakieś artykuły o dodatkach do składni logiki pierwszego rzędu z ZFC, które czynią ją bardziej praktyczną Co to znaczy "bardziej praktyczna"?... A.L. Nie ma chyba ścisłej definicji tego praktyczności, ale mogę przybliżyć to o co mi chodzi. Chodzi mi o praktyczność dla dowodzenia W LOGICE, a nie O LOGICE. Tzn. nie interesuje mnie zmniejszenie składni, ale raczej jej rozbudowanie. Praktyczność w tym wypadku może znaczyć także większe zbliżenie do języka naturalnego, a także skrócenie i uproszczenie dowodów. "Many sorted logic" zbliża logikę do języka naturalnego, epsilon hilberta podobnie, a także skraca dowody, a naturalna dedukcja w ogóle upraszcza proces wyprowadzenia dowodu. Prawdopodobnie ktoś już opracował takie zagadnienia. Chodzi mi o praktyczność w sensie wykorzystywania ścisłego języka w rozumowaniach matematycznych i przeprowadzanie dowodów w takim języku. Nie wiem jaka metoda byłaby najlepsza do tego celu, ale sądzę że umożliwienie "mówienia" i "porozumiewania się" przy użyciu jakiegoś formalnego, aczkolwiek mającego duże możliwości języka, który może opanować człowiek, a nie tylko maszyna byłoby ciekawym doświadczeniem. Widziałem jak działają obecne systemy wspomagania dowodzenia i zauważyłem że wykorzystują one powyższe. Ale byćmoże udałoby się jeszcze uprościć język logiki, żeby mógł służyć on także do "porozumiewania się" matematyków, a nie tylko jako obiekt badań. Jednakże na razie nie znalazłem publikacji poruszającej te zagadnienia w sposób kompletny. Mateusz Grotek |
| A.L.
|
Posted: 20 Cze 2008 15:06:35 On Fri, 20 Jun 2008 14:44:09 +0200, Mateusz Grotek Nie ma chyba ścisłej definicji tego praktyczności, ale mogę przybliżyć
to o co mi chodzi. Chodzi mi o praktyczność dla dowodzenia W LOGICE, a nie O LOGICE. Tzn. nie interesuje mnie zmniejszenie składni, ale raczej jej rozbudowanie. Praktyczność w tym wypadku może znaczyć także większe zbliżenie do języka naturalnego, a także skrócenie i uproszczenie dowodów. "Many sorted logic" zbliża logikę do języka naturalnego, epsilon hilberta podobnie, a także skraca dowody, a naturalna dedukcja w ogóle upraszcza proces wyprowadzenia dowodu. Prawdopodobnie ktoś już opracował takie zagadnienia. Chodzi mi o praktyczność w sensie wykorzystywania ścisłego języka w rozumowaniach matematycznych i przeprowadzanie dowodów w takim języku. Nie wiem jaka metoda byłaby najlepsza do tego celu, ale sądzę że umożliwienie "mówienia" i "porozumiewania się" przy użyciu jakiegoś formalnego, aczkolwiek mającego duże możliwości języka, który może opanować człowiek, a nie tylko maszyna byłoby ciekawym doświadczeniem. Widziałem jak działają obecne systemy wspomagania dowodzenia i zauważyłem że wykorzystują one powyższe. Ale byćmoże udałoby się jeszcze uprościć język logiki, żeby mógł służyć on także do "porozumiewania się" matematyków, a nie tylko jako obiekt badań. Jednakże na razie nie znalazłem publikacji poruszającej te zagadnienia w sposób kompletny. Mateusz Grotek Uhum. No to pewnei "rozjezdzamy sie" w sensie definicji "praktycznosci", bo dla mnei "praktycznosc" to praktycznosc w sensie zastosowania logiki do opisu zjawisk. W tej dziedzinie logika rozwinela sie w rozne "praktyczne" modyfikacje, typu "nonmonotonic", "temporal" czy "modal". Ale chyba nei o takie rozwineicia ci chodzi... W kazdym razie, obejrzyl jakies ksiazki/papiery na temat logik modalnych, moze cos ci sie nasunie (jezeli ich nie znasz). Jak chesz tytuly, to moge podac ale dopiero za pare godzin jak wroce do domu. A.L. |
| Mateusz Grotek
|
Posted: 20 Cze 2008 23:13:39 Niestety, nic nei mysle. Interesuja mnei logiki nadajace sie do
opisywania zjawisk roznego rodzaju, a to fizycznych, a to biznesowych, i to z czysto praktycznego powodu: zajmuje sie produkowaniem systemow komputerowych wspeirajacych problemy decyzyjne. Czy to jest ZFC, czy nie jest, to w zasadzie z mojej perspektywy jest zupelnie obojetne. Prawdopodobnei znajdujemy sie w zupelnie odmiennych swiatach :) A.L. Może trochę OT, ale z ciekawości jeszcze zapytam się Pana o teorię systemów. W Warszawie jest instytut badań systemowych. Tak jak mniej więcej orientuję się czym zajmują się pozostałe instytuty UW, tak nei mogę rozgryźć właściwie, czym zajmuje się powyższy. Kojarzę, że to może być cybernetyka, sztuczna inteligencja, systemy wspomagania decyzji itp. Ale nie natrafiłem na jakieś dobre opracowania tych tematów (np. cybernetyki), prócz kilku starszych książek. Także nieczęsto słyszy się o dokonaniach tych naukowców (lub może ja nie słyszałem), a wiem, że z systemów wspomagania decyzji korzystają na przykład rządy i armie. Czy te badania są prowadzone w sekrecie? Poza tym widziałem jakieś pracę w internecie odnośnie teorii systemów, ale bardziej wyglądały one na prace filozoficzne niż matematyczne. Poza tym słyszałem o systemowym podejściu w psychologii. Jednak ciężko mi ogarnąć przykładowe badania jakie mogą prowadzić instytuty podobne to tego w Warszawie. Nie wiem czy spodziewać się podejścia ścisłego-matematycznego, czy ścisłego-empirycznego w rodzaju fizyki, czy luźnego-empirycznego w rodzaju ekonomii i socjologii, czy może luźnego w ogóle w stylu filozofii. Czy mógłby Pan trochę przybliżyć mi ten temat. Bardzo dziękuję. Mateusz Grotek |
| PFG
|
Posted: 22 Cze 2008 20:32:50 On Sat, 21 Jun 2008 01:13:39 +0200, Mateusz Grotek Także nieczęsto słyszy się
o dokonaniach tych naukowców (lub może ja nie słyszałem), a wiem, że z systemów wspomagania decyzji korzystają na przykład rządy i armie. Właśnie dlatego nie słyszy się o tych dokonaniach, methinks. Czy
te badania są prowadzone w sekrecie? Tak przypuszczam. Z tym, że warszawskiego Instytutu Badań Systemowych dotyczy to - być może - w niewielkim stopniu. Sądząc po ich stronie http://www.ibspan.waw.pl/strony/instytut.php prowadzą całkiem cywilne badania. |
| A.L.
|
Posted: 22 Cze 2008 20:49:15 On Sun, 22 Jun 2008 22:32:50 +0200, PFG On Sat, 21 Jun 2008 01:13:39 +0200, Mateusz Grotek
Także nieczęsto słyszy się
o dokonaniach tych naukowców (lub może ja nie słyszałem), a wiem, że z systemów wspomagania decyzji korzystają na przykład rządy i armie. Właśnie dlatego nie słyszy się o tych dokonaniach, methinks. Zle Pan mysli Czy
te badania są prowadzone w sekrecie? Tak przypuszczam. Zle Pan przypuszcza. A.L. P.S. Do oryginalnego pytacza: nei bylo mnie prze weekend przy komputerze. napisze w tygodniu |
| . 1 . 2 . 3 . >> |