Rekisteröidy

Ilmoitukset

Ladataan…

    Näytä kaikki

    Gödelin epätäydellisyyslause

    Luin Gödel-elämänkertakirjasta hänen epätäydellisyyslauseestaan. Alkuajatushan siinä kerrottiin, muttei menty pidemmälle. Siis kaikista mahdollisista matemaattisloogisista lauseista saadaan (suuri) luku Gödel-numeroinnilla. Eli annetaan kaikille symboleille (esim. ja, tai, ei, joko-tai, eksistenssikvanttori, universaalikvanttori jne.) oma alkulukunsa ja niiden paikat lauseessa saadaan korottmalla alkuluvut kokonaislukupotenssiin. Mutta osaako joku selittää, miten tästä jatketaan eteenpäin. Olisi edes mukava saada tähän selventävä Internet-osoite.
    294
    Äänestä

    Muut lukivat myös

    Vastaukset 2

    Vanhimmat

    Todistus on pitkä ja vaikea. Kannattaa varata runsaasti aikaa peruskäsitteidenkin käsittelyyn, tarvittava koneisto on kohtalaisen iso ja vaatii matemaattista kypsyyttä.

    Jos asiaa haluaa suhteuttaa, niin matemaattisen logiikan opiskelija pystyy usein graduvaiheessa ymmärtämään jossain määrin todistuksen ja sen merkityksen. Toisinaan ajatukset kirkastuvat vasta väitöstyön aikana, kuten itselleni kävi.

    Suosittelen kirjaa Torkel Franzen: Inexhaustability taustalle.

    Jos em. pruju ei ole kauheasti elänyt viimeisen vuosien aikana, niin en välttämättä lähtisi siitä asiaa selvittämään omin käsin. Esitys on aika raskas.

    Äänestä

    Odottaa vastausta

    Näihin keskusteluihin ei ole vielä vastattu. Ole ensimmäinen.

    Luetuimmat keskustelut

    Kommentoi aloitusta

    Jaska Jakobson kirjoitti:

    Luin Gödel-elämänkertakirjasta hänen epätäydellisyyslauseestaan. Alkuajatushan siinä kerrottiin, muttei menty pidemmälle. Siis kaikista mahdollisista matemaattisloogisista lauseista saadaan (suuri) luku Gödel-numeroinnilla. Eli annetaan kaikille symboleille (esim. ja, tai, ei, joko-tai, eksistenssikvanttori, universaalikvanttori jne.) oma alkulukunsa ja niiden paikat lauseessa saadaan korottmalla alkuluvut kokonaislukupotenssiin. Mutta osaako joku selittää, miten tästä jatketaan eteenpäin. Olisi edes mukava saada tähän selventävä Internet-osoite.

    Anonyymi
    5000

    Ilmoita asiaton sisältö

    • Sisältää materiaalia, joka on loukkaavaa, herjaavaa, rasistista, uhkailevaa tai ahdistelevaa.

    • Materiaali sisältää nimiä, yhteystietoja tai muita henkilökohtaisia tietoja. Julkisuuden henkilöistä, julkisissa viroissa toimivista ihmisistä sekä yritysten vastuuhenkilöistä saa keskustella työhön liittyen. Myös yksityiselämään liittyvistä asioista voi keskustella siltä osin, kuin niistä on julkisesti kerrottu.

    • Sisältää lapsille haitallista tai heiltä kiellettyä materiaalia. Seksuaalinen sisältö on sallittua aiheeseen tarkoitetuilla palstoilla, joiden ikäraja on 18 vuotta.

    • Lainvastaista sisältöä voi olla mm. yksityiselämää loukkaavan tiedon levitys, kiihottaminen kansanryhmää vastaan, laiton uhkaaminen, alaikäisiin liittyvä seksuaalinen sisältö/grooming, petokset, identiteettivarkaudet, kunnianloukkaukset ja tekijänoikeusrikkomukset.

    • Sisältö ei liity palstan tai keskusteluketjun aiheeseen.

    • Viesti ei ole suomea tai ruotsia (pl. International Forums), se sisältää mainontaa, se sisältää tekijänoikeuksin suojattua materiaalia, se on massapostitus tai jokin muu syy.

    Jaa keskustelu