Wiedza jest nieskonczona; ilosc prawdziwych i dajacych sie udowodnic
twierdzen jest nieprzeliczalna.
Mozna zrobic generator (myslowy) rodziny twierdzen typu
Dla wielokrotnosci liczby dodatniej 16 jej polowa jest wieksza od jej
pierwiastka
(dowód zostawiam czytelnikom)
Zamiast 16 wstawiam dowolna liczbe rzeczywista wieksza od 4 i mam prawdziwe
twierdzenie. Wobec nieprzeliczalnosci zbioru liczb rzeczywistych > 4 ilosc
prawdziwych twierdzen jest nieprzeliczalna.
Co nie znaczy, ze tworzenie takiej rodziny bzdurnych twierdzen ma sens wobec
prawdziwosci twierdzenia
Dla kazdego x>4 zachodzi x/2. pierwiastek(x)
Oczywiscie istnieje rodzina takich twierdzen (no i zadanie dla dociekliwych
co trzeba wstawic zamiast 4 by bylo to prawdziwe dla x/435 i pierwiastka 712
stopnia ?).
A po co pisze takie bzdety?
Bo
>Użytkownik expert <e...@f...onet.pl> w wiadomooci do grup dyskusyjnych
napisał:3...@f...onet.pl...
> napisal
> bo skoro wiedze mozna przestawiac w postaci drzewa dedukcji
> to ilosc galzi, wezlow jest policzalna i nawet skonczona,
a z tym sie po prostu nie zgadzam.
Policzalna i skonczona jest ilosc wiedzy dajacej sie przyswoic pojedynczemu
czlowiekowi (i calej ludzkosci zyjacej do jakiegos momentu); w szczególnosci
policzalna i BARDZO skonczona jest ilosc wiedzy przyswajalnej przez Experta
:-PPP
(Wobec faktu, ze jestem czlowiekiem, nie botem, powyzsze twierdzenie dotyczy
oczywiscie tez mnie... ale i Ciebie drogi czytelniku-czlowieku)
--
Krzysztof Dominko
(0)501029908, jakby ktos musial dzwonic