Zamierzone na cztery tomy dzieło Bertranda Russella i Alfreda Northa Whiteheada dotyczące podstaw matematyki, tworzone i publikowane w latach 1910-1913. Jego celem było sprowadzenie matematyki do logiki i wyprowadzenie twierdzeń tej pierwszej z układ...

kategoria informatyka i matematyka język polski liczba stron 188 słowa kluczowe matematyka, funkcje rekurencyjne, podstawy matematyki, twierdzenie Gödla, twierdzenia Gödla, metamatematyka, elementy metamatematyki, logika matematyczna, formali...

Filozofia twórczości Kurta Gödla - powszechnie uważanego za najwybitniejszego logika XX w. - jest mniej znana, niż jego osiągnięcia z zakresu logiki formalnej. Niniejsza praca jest próbą prezentacji jego poglądów filozoficznych. Przedstawione są one...

Tkaniny dekoracyjne, takie jak gobeliny, arrasy, hafty na kanwie, można zrobić ponad trzystoma różnymi ściegami, co sprawia, że jest to uniwersalna i fascynująca dziedzina rękodzieła. Opisane w książce ściegi wykonywane są zarówno na cienkim płótnie,...

Ta książka zmieni na zawsze to, co myślisz o swoich myślach i umyśle. Nowe, zdumiewające odkrycia biochemicznych skutków działania mózgu ukazują, iż twoje myśli wpływają na wszystkie komórki twojego ciała. Autor — uznany cytolog — opisuje te precyzyj...

Avatar to kamień milowy w historii kina. Tworząc opowieść o ziemskim podboju tajemniczej planety Pandora i o sparaliżowanym komandosie uwikłanym w wojnę dwóch cywilizacji, James Cameron wykorzystał zupełnie nowe technologie, nie tylko 3D. Na potrzeby...