tag:blogger.com,1999:blog-973718928927935206.post13505019392287108..comments2024-03-18T09:17:29.149+01:00Comments on Joy of software development: Prawda nie istnieje (dowody też)Anonymoushttp://www.blogger.com/profile/10018425072074176883noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-973718928927935206.post-49222814269910369872013-09-13T23:56:49.905+02:002013-09-13T23:56:49.905+02:00W logice formalnej istnieje twierdzenie, którego &...W logice formalnej istnieje twierdzenie, którego "dowód" brzmi mniej więcej tak: "jeśli twierdzenie jest prawdziwe, to nie da się dowieść jego prawdziwości" - to chyba problem pokrewny:)<br /><br />Co do istnienia prawdy. Stwierdzenie, że nie istnieje jest mocne. Jeśli przyjąć definicję prawdy za Arystotelesem - "orzec o czymś, co jest, że jest, to orzec prawdę", można co najwyżej stwierdzić: "prawda istnieje albo nie, lecz jeśli istnieje, to nikt nie ma do niej dostępu; mamy dostęp tylko do punktów widzenia"<br /><br />pozdr,<br />mbAnonymoushttps://www.blogger.com/profile/03968505875451301931noreply@blogger.com