50 tys. USD za odkrycie luk w IE 7 i Windows Vi...

12.01.07, 13:53
Jak mowi tw o niezupelnosci Gödla, w kazdym systemie formalnym musza istniec
takie wyrazenia, ktore prowadza do sprzecznosci, ergo wczesniej czy pozniej
takie dziury sie odkryje.
    • Gość: rumcajsk o tw Godla IP: *.dhcp.insightbb.com 30.01.07, 01:24
      Twierdzenie Godla nic takiego nie mowi. Pokazuje jedynie, ze w kazdym systemie formalnym odpowiednio skomplikowanym (zawierajacym arytmetyke) istnieja zdania, ktorych nie mozna w tym systemie ani udowodnic ani obalic.
      • Gość: łałałiła Re: o tw Godla IP: 81.219.82.* 31.01.07, 01:22
        łałałiła !!!
Pełna wersja