Metoda diagonalna Cantora  oraz wszelkie jej modyfikacje wykorzystywane przez specjalistów od Teorii Mnogości w celu wykazania istnienia zbiorów o liczebności większej niż liczebność zbioru ℕ – zbioru liczb naturalnych, przedstawiona przy pomocy metajęzyka, sama w sobie nie jest autoreferencyjna – pod warunkiem, że owa formuła jest izolowana i nic nie ma poza nią samą. Powinna...Read More

Sądzi się, że w matematyce nie można stosować metody falsyfikacji poglądów, hipotez i twierdzeń, ponieważ dotyczą one obiektów niematerialnych: wyidealizowanych i będących tylko i wyłącznie wytworem ludzkiej myśli. Nie można zatem w matematyce dokonać pewnego eksperymentu, w wyniku którego matematyczne twierdzenie zostanie obalone, bo nadal przecież posługiwać się będziemy zawodnym rozumem, co może prowadzić nawet...Read More