ANALIZOWANIE TWIERDZEŃ

Niewielu z nas rzeczywiście potrafi analizować twierdzenia rozwiniętej logiki symbolicz­nej; dla większości zachęta do zgłębiania tej nauki ni­gdy nie była dostateczna. W każdym razie budowla wzniesiona przez Russella i innych rozpadła się bez wątpienia w latach trzydziestych. Prace Kurta Godła pokazały, że w każdym systemie logicznym skonstruo­wanym dla potrzeb matematyki istnieją wewnętrzne ograniczenia; nie można z nich wyeliminować niebez­pieczeństwa sprzeczności lub braku kompletności. Lo­gika symboliczna pozostała dyscypliną interesującą, acz ezoteryczną; wpływową, ale nadal zbyt zawiłą, by mogła kierować biegiem myśli naukowej dwudziestego wieku. Wynalazek sprzętu do obliczeń elektronicznych do­starczył nowej i nieoczekiwanie praktycznej sfery za­stosowań logiki symbolicznej.

Witam, mam na imię Piotr i witam na moim blogu. Treści tu zamieszczane będą opierzone w tematykę techniki. Wiedza teoretyczna, jak i praktyczna będą tu ogólnodostępne. Zapraszam Cię do lektury.
error: Content is protected !!