Arhive kategorije: logika

Nepotpunost (još jednom, najjednostavnije)

Svaki računalni program možemo zapisati kao konačni niz nula i jedinica. Takve programe zvat ćemo 0,1-programima Niz nula i jedinica duljine n zvat ćemo reducibilnim ako postoji 0,1-program koji generira taj 0,1-niz i čija je duljina manja od n. Ako … Nastavi čitati

Ocijeni:

Objavljeno u filozofija, logika, matematika | Označeno sa , | 2 komentara

Rješenje najtežeg logičkog problema sa samo dva pitanja

Bavili smo se do sada, Istinitim (koji uvijek govori istinu), Lažnim (koji uvijek govori neistinu), Slučajnim (koji slučajno odabire hoće li odgovoriti istinu ili neistinu) i Pravim Slučajnim (koji slučajno odabire hoće li odgovorit „ku“ ili „lo“ – što znači … Nastavi čitati

Ocijeni:

Objavljeno u logika | Ostavi komentar

Rješenje najtežeg logičkog problema (i postavljanje još težeg)

Nedavno sam pisao o tzv. najtežem logičkom problemu.Sada dajem i njegovo rješenje. Pogledajmo, za početak, što bi Istiniti (koji uvijek govori istinu), Lažni (koji uvijek govori neistinu), i Slučajni (koji slučajno odabire hoće li govoriti istinu ili neistinu), odgovorili na … Nastavi čitati

Ocijeni:

Objavljeno u logika | Ostavi komentar

NAJTEŽI LOGIČKI PROBLEM

R. Smullyan smislio je problem koji je G.Boolos nazvao „najtežim ikad smišljenim logičkim problemom“ : Suočeni ste s tri osobe. Jedna od njih uvijek govori istinu, druga uvijek govori neistinu, a iskazi treće osobe su istiniti ili neistiniti s vjerojatnošću … Nastavi čitati

Ocijeni:

Objavljeno u logika | Označeno sa , | Ostavi komentar

Šah i domino (rješenje)

Možete li domino pločicama prekriti šahovsku ploču kojoj ste odstranili dva dijametralno suprotna kutna polja? Odgovor je jednostavan. Svaka domino pločica prekriva jedno bijelo i jedno crno polje, što znači da domino pločicama možete prekriti samo ploče s jednakim brojem … Nastavi čitati

Ocijeni:

Objavljeno u logika, matematika | Ostavi komentar

Šah i domino

Ako jedna domino pločica prekriva dva šahovska polja onda je očito da s 32 domino pločice možete prekriti cijelu šahovsku ploču. Možete li domino pločicama prekriti i šahovsku ploču kojoj ste odstranili dva dijametralno suprotna kutna polja? Razmislite, a možete … Nastavi čitati

Ocijeni:

Objavljeno u logika, matematika | Ostavi komentar

Istina nije definabilna

Slavni teorem Alfreda Tarskog o nedefinabilnosti istine tvrdi da istinite rečenice nekog formalnog jezika nije moguće definirati u samom tom jeziku (njegov ne manje slavni teorem o definabilnosti istine tvrdi da je to moguće u odgovarajućem metajeziku). Evo dokaza tog … Nastavi čitati

Ocijeni:

Objavljeno u logika, matematika | Označeno sa , | Ostavi komentar