Rekisteröidy

Ilmoitukset

Ladataan…

    Näytä kaikki

    Formaali määritelmä

    Miten matematiikassa määritellään formaalisti käsite "Todista X käyttämällä Y:tä"? Ainahan voi kirjoittaa todistuksen alkuun Y:n ja sitten loput todistuksesta, mutta usein tämä ei ole kaikkein selkein todistus.
    2214
    Äänestä

    Muut lukivat myös

    Vastaukset 2

    Vanhimmat

    Päättelyketjussa tulee esiintyä Y

    Esim. Z1..z16 ovat tunnettuja lauseita tai aksioomia
    1. Z1
    2. Z2
    ...
    14. Z14
    15. Y
    16. Z15
    17. Z16
    18. X

    Päättelyketjussa esiintyy lause tai aksiooma Y ja päädytään lauseeseen X.

    Tämä tosin ei riitä vaan päättelyketjun tulee rikkoontua jos rivi 15 poistetaan.

    Äänestä

    • Tuoko sitten on formaalia matikkaa? Luulin, että määritelmässä pitäisi ottaa enemmän asioita huomioon, kuten että Y voidaan todistaa ilman X:ää, jos Y:n totuus riippuu kontinuumihypoteesista, niin myös X:n totuus riippuu kontinuumihypoteesista. Olen todella yllättynyt, että tuo on formaali määritelmä! Tosin eipä ole eka kerta, kun matikka hämmästyttää.

      Äänestä

    Odottaa vastausta

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

    Luetuimmat keskustelut

    Kommentoi aloitusta

    matikastakiinnostunut kirjoitti:

    Miten matematiikassa määritellään formaalisti käsite "Todista X käyttämällä Y:tä"? Ainahan voi kirjoittaa todistuksen alkuun Y:n ja sitten loput todistuksesta, mutta usein tämä ei ole kaikkein selkein todistus.

    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