Żyla, żyletka, śmierć.Aniele usłysz moje myśli,które uciszyleś ...
Cezar napisał:
Użytkownik Grigory <grig@polbox.comw wiadomości do grup dyskusyjnych
napisał:adlus9$7q@news.tpi.pl...
| czyli logika, teoria mnogosci
[...]
| omawialaby powyzsze tematy. Czy rzeczywiscie nie ukazala sie u nas
| ani jedna pozycja zawierajaca informacje na w/w zagadnienia?
Wolne zarty ;) Logika i teoria mnogosci to kawal polskiej matematyki.
Proponuje ksiazke Waclawa Sierpinskiego: "Wstep do logiki i teorii mnogosci"
W kontekście języków funkcyjnych duże zastosowanie ma logika i
matematyka intuicjonistyczna / konstruktywistyczna (bez prawa
wyłączonego środka) oraz teoria typów.
pozdrawiam,
tomek
http://pl.wikipedia.org/wiki/Intuicjonizm_%28matematyka%29
"Intuicjonizm neguje prawdziwość niektórych z aksjomatów logiki formalnej, a
zwłaszcza aksjomat wyłączonego środka (a lub nie a) oraz regułę odrywania,
twierdząc, że w niektórych przypadkach fakt udowodnienia, że prawdziwe jest
p nie pozwala stwierdzić, że nieprawdziwe jest nie p (zobacz: dowód
niekonstruktywny), zwłaszcza gdy sensem udowodnionego zdania p jest teza o
istnieniu pewnych obiektów"
To gdzie indziej się go nauczyć? :)
Użytkownik srpnov <srp@niechcespamu.op.plw wiadomości do grup
dyskusyjnych napisał:eqvkqs$ei@news.onet.pl...
Witam
W filozofiii interesuje mnie nie ideologia, poszukiwanie "sensu życia",
etyka, rozważania o Bogu czy historia filozofii a jedynie poszukiwanie
nowych dróg myślenia. Wolę, żeby była ćwiczeneim dla umysłu i rozszerzała
horyzonty a nie robiła z ludzi dyktafonów
Interesują mnie
zwłaszcza inne logiki, np. intuicjonizm albpo np. to, jak zbudować system
aksjomatyczny...
Intuicjonizmu się z podręczników nie nauczysz a kierunek jest wart zachodu!
;)
In article <er2lm7$79@news.onet.pl,
"srpnov" <srp@niechcespamu.op.plwrote:
To gdzie indziej się go nauczyć? :)
Nie martw się. Sky po prostu nie wie co to jest intucjonizm.
| Interesują mnie
| zwłaszcza inne logiki, np. intuicjonizm albpo np. to, jak zbudować system
| aksjomatyczny...
Intuicjonizmu się z podręczników nie nauczysz a kierunek jest wart zachodu!
;)
Władysław
| Witam
| W filozofiii interesuje mnie nie ideologia, poszukiwanie "sensu życia",
| etyka, rozważania o Bogu czy historia filozofii a jedynie poszukiwanie
| nowych dróg myślenia. Wolę, żeby była ćwiczeneim dla umysłu i rozszerzała
| horyzonty a nie robiła z ludzi dyktafonów(np. wiecznie żywych "teoretyków
| marksizmu-leninizmu" czy "bakuninizmu-kropotkinizmu" którzy tylko walą
| nazwiskami).
| 1.Najbardziej zachwyca mnie logika. Przy czym czytałem narazie tylko
| Mostowskiego i Russella. Jakie inne książki byście polecali? Interesują
| mnie zwłaszcza inne logiki, np. intuicjonizm albpo np. to, jak zbudować
| system aksjomatyczny...
Masz rację,logika jest większa, a już aksjomatyka to dopiero olbrzym.
Powinieneś zagadnąć do Tomka, tego od Tarskiego, jak byś się z nim zgadał,
pewnie podrzuciłby ci kilka stronek jak najbardziej przydatnych do ćwiczenia
umysłu, nie mówię tego złośliwie ani dla ciebie, ani dla Tomka. Matematyka,
matematyka i tylko matematryka, oto ta rzecz, która ćwiczy bardzo dobrze,
niczym hantle mięśnie, umysł. Sam , jak mam splina, uciekam w obszar
spinorów i kwadryg .
K.
bzdura ze tylko matematyka, skupione ogladanie komedii w tv cwiczy
umysl rowniez
js
"Tomasz Trojanowski" <tm@friko6.onet.plwrote:
[ciach]
Wybacz, ale wydaje mi sie ze nie mozna "wymyslic" tekstu opierajacego
sie na logice innej niz dwuwartosciowa, poniewaz ludzka mowa (pismo)
opiera sie na tej logice. O innych mozemy mowic jako o pewnych
abstrakcjach, nazwijmy to nieladnie: o pewnych konstrukcjach
matematycznych.
TMT
Od czasow, kiedy L. Brouwer stworzyl intuicjonizm, jest on bardzo
sprawnym zamiennikiem logik klasycznych. Pod pewnymi wzgledami lepiej
pasuje do potocznego doswiadczenia, niz logiki klasyczne.
Z powazaniem
Marek Szyjewski
My, samotnicy, powinnismy trzymac sie razem!
On Tue, 26 Aug 2003 15:43:45 +0200, Piotr Wyderski wrote:
Witam,
spotkalem sie kiedys z opinia, ze dowody nie wprost maja takiej samej
wartosci jak dowody wprost, sugerowano nawet ich nieuznawanie. Bardzo
0. konstruktywizm, intuicjonizm - tam szukaj.
1. nie jest to az takie glupie.
w duzym uproszczeniu: "nie obchodzi mnie, ze zalozenie braku krasnoludkow
prowadzi do sprzecznosci, ja chce zobaczyc jednego na oczy!" - jest roznica?
poza tym wzielo sie to do jednego z problemow Hilberta:
wykazania niesprzecznosci matematyki metodami finitarystycznymi.
2.
matematyka jest z punktu widzenia logikow pewna gra. ot wypisujesz znaki
na papierze wg. pewnych regul. intuicjonizm zabrania uzywac Ci reguly,
ktora w skrocie wyrazic mozna jako $
eg
eg p o p$. dosc ladnie to
tlumaczy tzw. interpretacje Kripkego logiki zdaniowej. oczywiscie regula
ta ma inne rownowaznie postacie. np. $pvee
eg p$ zwane
"tertimum non datur"
fakt, ze matematyka intuicjonistyczna jest 'dziwna' - np. pewnik wyboru
jest dowodliwy, kazda funkcja z [0,1] w siebie jest ciagla, itp.
3. a ktory formalizm lepszy? hmm. klasyczn~a logik~e zdaniow~a mozna w
intuicjonistycznej otworzyc (tw. Glivenki):
$$alphainKRZiff
eg
egalphainINT$$, ale na odwrot nie bardzo -
trzeba wyjsc poza logike zdan.