Luk, krompir, i urnebes salata

[ davidoffi @ 07.06.2011. 23:32 ] @

Ph.D. na temu paradoksa u matematici, Greg Restall, University of Qweensland.

On Logics Without Contractions

http://consequently.org/writing/onlogics/index.html

http://consequently.org/papers/onlogics.pdf

[ Ankalagon the Black @ 08.06.2011. 22:56 ] @

Jesi ti procitao tu doktorsku tezu celu ?

[ Isak666 @ 08.06.2011. 23:26 ] @

Ima na cirilici?

[ davidoffi @ 09.06.2011. 00:01 ] @

Citat:

Ankalagon the Black: Jesi ti procitao tu doktorsku tezu celu ?

Pa morao sam da procitam sve o tome za domaci zadatak. Mislim...nije kao da je ne bih procitao i svojevoljno xd. Ali mislim da ne bi trebalo da se neko ustrucava da razmeni poneku rec o tome ako mu je tema interesantna, iako nije procitao svu literaturu o tome. Ako pazljivo procitate, ideja autora je i bila da priblizi temu, ne samo matimaticarima, nego i naucnicima iz oblasti filozofije.

[ davidoffi @ 09.06.2011. 00:05 ] @

Mada i ne moramo da pricamo o tome. Ovo je samo ispitivanje terena, zato sto sam inspirisan neznanjem, i nepoznavanjem nekih oblasti, cak i profesionalaca iz odredjenih naucnih disciplina. Ako se sve okrene na sprdnju, i na izlive besa i mrznje, odustacu, naravno.

[ davidoffi @ 09.06.2011. 01:40 ] @

Ipak odustajem. Glupo je insistirati na razgovoru. Mozda ovakve teme i nisu za ovaj forum, a verovatno nema ni interesa. Ali ok. Ima obilje drugih tema.

[ Isak666 @ 09.06.2011. 16:00 ] @

Sa kim razgovor?
Sa pdf dokumentom?
Iznesi svoj stav/impresiju/zakljucak/misao/pitanje/intrigu na dati materijal, pa ces mozda dobiti odgovarajucu repliku, pa da dijalog i pocne.

[ davidoffi @ 10.06.2011. 03:42 ] @

1= 0

[ davidoffi @ 10.06.2011. 09:28 ] @

Citat:

Isak666: Iznesi svoj stav/impresiju/zakljucak/misao/pitanje/intrigu na dati materijal, pa ces mozda dobiti odgovarajucu repliku, pa da dijalog i pocne.

0=1

[ Isak666 @ 10.06.2011. 09:53 ] @

Citat:

davidoffi: 0=1

Nista ja ne bih tu dodao.

[ davidoffi @ 10.06.2011. 10:12 ] @

Busy beaver?

[ Isak666 @ 10.06.2011. 10:17 ] @

Ne, ne - shaved beaver je moj favorit.

[ davidoffi @ 10.06.2011. 10:20 ] @

Odrzimo ovu temu pristojnom. Ako je to ikako moguce. Ima ovde finog sveta ;).

[ Booxxter @ 18.02.2012. 07:53 ] @

Citat:

davidoffi: 1= 0

Citat:

davidoffi: 0=1

Citat:

Isak666:

Citat:

davidoffi: 0=1

Nista ja ne bih tu dodao.

The problem is this: given any formal system F that we might want to take as a foundation for mathematics (for example, Peano Arithmetic or Zermelo-Fraenkel set theory), Gödel tells us that there are Turing machines that run forever, but that can’t be proved to run forever in F. An example is a Turing machine M that enumerates all the proofs in F one by one, and that halts if it ever encounters a proof of 0=1.

The claim that M doesn’t halt is equivalent to the claim that F is consistent—but if F is indeed consistent, then the Second Incompleteness Theorem says that it can’t prove its own consistency.

http://www.scottaaronson.com/blog/?cat=32

[ Ankalagon the Black @ 18.02.2012. 10:19 ] @

Kao u onoj Davidoffi-evoj priči, pokušavaš da se dopisuješ sa čovekom koga na forumu više nema :)

[ Count Zero @ 18.02.2012. 11:17 ] @

Misliš, kao u njegovoj priči??

[ Ankalagon the Black @ 18.02.2012. 12:32 ] @

Da.

http://www.elitemadzone.org/t4...-esej-na-temu-elitemadzone-org

_{[Ovu poruku je menjao Ankalagon the Black dana 18.02.2012. u 14:55 GMT+1]}

[ Booxxter @ 18.02.2012. 13:29 ] @

Citat:

Pokusavam da nadjem neki jos uvek slobodan sajt, koji nisu zarazili lajkoni. Kucam adresu elitemadzone.org, s nadom da cu tamo naci nekoga. Jedan od retkih sajtova gde je moguce izraziti slobodnu volju.
Opet pustinja. Nigde nikoga. Niko online. Forumski postovi govore neku odavno ispricanu pricu, emitujuci energiju ceznje i zelje za razgovorom i odgovorima.

http://www.elitemadzone.org/t4...-esej-na-temu-elitemadzone-org

xD. :P

Citat:

Ulazi u diskusiju sa samim sobom, i stvara dilemu. Iz svakog slova se oseca ceznja za zivom vatrom razgovora koja je nekad bila tu, a sada su samo mrtva slova, i nikog iza njih.
Hladan celik na vratu me prekida u pisanju private poruke koju sam hteo da mu posaljem.
Lajkon.