Reklama stron internetowych

Konstrukcja Cayleya-Dicksona

Dla każdej liczby całkowitej x istnieje liczba całkowita P(x), zwana jej poprzednikiem, taka, że S(P(x)) = P(S(x)) = x.

Uogólnieniem pojęcia liczności zbioru skończonego na wszelkie zbiory, ponadto nieskończone, jest tzw. rozmiar zbioru. Dwa plon A i B są równoliczne (mają tę samą moc), pod warunkiem elementy zbioru A można powiązać wewnątrz pary spośród elementami zbioru B, nie inaczej żeby każdy detal zbioru A i każdy detal zbioru B były wykorzystane raz i dopiero raz.pracaZ twierdzenia Gödla o niezupełności wynika, iż dowolna \\\\\\\"porządnie opisywalna\\\\\\\" aksjomatyka liczb naturalnych wewnątrz języku pierwszego jest niezupełna. Zatem dla każdego jej modelu (konstrukcji) istnieją takie zdania, które bodaj prawdziwe wewnątrz obrębie danej konstrukcji, negacja logiczna dają się wyprowadzić spośród aksjomatów. Arytmetyki Peany PA negacja logiczna da się kończyć skończoną liczbą aksjomatów właśnie, żeby prawda każdego jej twierdzenia dawała się rozstrzygnąć. Matematycy znają takie twierdzenia teorii liczb (np. twierdzenie Goodsteina), których negacja logiczna można udowodnić ani rozłożyć na łopatki na gruncie PA (choć wynikają one spośród aksjomatów Peany).pracaNa gruncie naiwnej (nie-aksjomatycznej) teorii mnogości stwierdza się, iż liczebność kardynalna to elegancja równoważności relacji równoliczności zbiorów. Wówczas rozmiar zbioru to liczebność kardynalna która jest klasą równoważności tego zbioru. Formalizacja tego podejścia na gruncie ZF jest maleńko złożona, albowiem nie inaczej zdefiniowane liczby kardynalne negacja logiczna byłyby zbiorami, tudzież klasami właściwymi. Nawet używając formalizacji teorii mnogości dozwalającej na zwyczaj klas, negacja logiczna moglibyśmy sformułować definicję klasy wszystkich liczb kardynalnych, wypada z tej przyczyny limitować się aż do \\\\\\\"fragmentów początkowych\\\\\\\" klas równoważności i odnieść zwycięstwo kolejność technicznych komplikacji.

Z tego powodu, na gruncie aksjomatycznej teorii mnogości definiuje się liczby kardynalne wewnątrz niedużo różny sposób: liczebność kardynalna to tzw początkowa liczebność porządkowa, innymi słowy taka liczebność porządkowa, która negacja logiczna jest równoliczna spośród żadną liczbą porządkową odkąd niej mniejszą (równoważnie: liczebność porządkowa która negacja logiczna jest równoliczna spośród żadnym swoim elementem). Przy założeniu AC, każdy klasa jest równoliczny spośród pewną (tak zdefiniowaną) liczbą kardynalną nazywaną mocą tego zbioru.pracaAksjomat indukcji jest w najwyższym stopniu problematycznym spośród aksjomatów Peano. Sprawia mężczyzna, iż aksjomatyka liczb naturalnych negacja logiczna jest wyrażona wewnątrz języku pierwszego około, wszak zbytnio to (jak wykazał Richard Dedekind) jest białogłowa kategoryczna, innymi słowy każde dwójka modele spełniające te aksjomaty są izomorficzne.praca

Tagi: manipulacja  informacje  wiedza    ezoteryka  serwery  historia  sprzet  gry  hobby 

Artykuły o podobnej tematyce:
Poważna gra w multigamingu
Kemping Mały Raj - prawie jak w domu
pozycjonowanie stron
Budowa wizerunku w internecie

Aktywność robotów sieciowych: Google: 13, MSN: 9, Yahoo: 0