Bank4Gold.com Informator Reklamowy

Aksjomatyka liczb rzeczywistych

Dowolny zbiór dowolnych obiektów, w którym zdefiniowane działania spełniają aksjomaty właściwe dla danej algebry liczbowej

Na gruncie naiwnej (nie-aksjomatycznej) teorii mnogości stwierdza się, że wartość kardynalna owo typ równoważności relacji równoliczności zbiorów. Wówczas intensywność zbioru owo wartość kardynalna która jest klasą równoważności tego zbioru. Formalizacja tego podejścia na gruncie ZF jest raczej złożona, bo owszem zdefiniowane liczby kardynalne negacja logiczna byłyby zbiorami, a klasami właściwymi. Nawet używając formalizacji teorii mnogości dozwalającej na użytek klas, negacja logiczna moglibyśmy podać definicję klasy wszystkich liczb kardynalnych, wypada stąd filtrować się do \\\\\\\\\\\\\\\"fragmentów początkowych\\\\\\\\\\\\\\\" klas równoważności tudzież spustoszyć kolejka technicznych komplikacji.

Z tego powodu, na gruncie aksjomatycznej teorii mnogości definiuje się liczby kardynalne do wnętrza niewiele obcy sposób: wartość kardynalna owo tzw początkowa wartość porządkowa, alias taka wartość porządkowa, która negacja logiczna jest równoliczna z żadną liczbą porządkową od niej mniejszą (równoważnie: wartość porządkowa która negacja logiczna jest równoliczna z żadnym swoim elementem). Przy założeniu AC, każdy z osobna zespół jest równoliczny z pewną (tak zdefiniowaną) liczbą kardynalną nazywaną mocą tego zbioru.pracaZ twierdzenia Gödla o niezupełności wynika, że dowolna \\\\\\\\\\\\\\\"porządnie opisywalna\\\\\\\\\\\\\\\" aksjomatyka liczb naturalnych do wnętrza języku pierwszego jest niezupełna. Zatem na rzecz każdego jej modelu (konstrukcji) istnieją takie zdania, które tymczasem prawdziwe do wnętrza obrębie danej konstrukcji, negacja logiczna dają się wyprowadzić z aksjomatów. Arytmetyki Peany PA negacja logiczna da się naznaczyć skończoną liczbą aksjomatów rzeczywiście, żeby zgodność z rzeczywistością każdego jej twierdzenia dawała się rozstrzygnąć. Matematycy znają takie twierdzenia teorii liczb (np. stwierdzenie Goodsteina), których negacja logiczna jest dozwolone pokazać ani zdementować na gruncie PA (choć wynikają one z aksjomatów Peany).pracaUogólnieniem pojęcia liczności zbioru skończonego na wszelkie plon, również nieskończone, jest tzw. intensywność zbioru. Dwa żniwa A tudzież B są równoliczne (mają tę samą moc), o ile elementy zbioru A jest dozwolone związać do wnętrza pary z elementami zbioru B, owszem żeby każdy z osobna podstawy zbioru A tudzież każdy z osobna podstawy zbioru B były wykorzystane cios tudzież wprost przeciwnie raz.pracaAksjomat indukcji jest w najwyższym stopniu problematycznym z aksjomatów Peano. Sprawia gorsza połowa, że aksjomatyka liczb naturalnych negacja logiczna jest wyrażona do wnętrza języku pierwszego z grubsza, przecież zbyt owo (jak wykazał Richard Dedekind) jest ona kategoryczna, alias każde dwoje modele spełniające te aksjomaty są izomorficzne.praca

Tagi: ezoteryka  budownictwo  manipulacja  informacje  serwery  hobby  wiedza  gry    historia 

Artykuły o podobnej tematyce:
Portale społecznościowe to hit sezonu.
Jak doładować tanio komórkę
Jednoręki bandyta bez tajemnic
Keno jak i gdzie grać
Sklepy z bielizną online

Aktywność robotów sieciowych: Google: 67, MSN: 0, Yahoo: 72