Mobili versija | Apie | Visos naujienos | RSS | Kontaktai
 
Vartotojo vardas:
Slaptažodis:
Atsiminti
Login with a social network:

Jūsų požiūris

Aktyvios diskusijos

Ieškoti forume


Išsami paieška

 [ 5 pranešimai(ų) ] 
 
Naujos temos kūrimas Atsakyti į temą Pagrindinis diskusijų puslapis » Mokslas » Įdomusis mokslas
Žinutė Autorius
  Standartinė   Parašytas: 2017-02-27, 00:45 
     
Kažkaip primena, kaip į klausimą "Ar esi melagis?" gauti teigiamą atsakymą? :)
  • 0




Užsiregistravo: 2011-11-06, 12:51
Pranešimai: 40
Reputacija: +48
   
 
Į viršų
  Standartinė   Parašytas: 2017-02-27, 09:50 
     
GNU rašė:
Kažkaip primena, kaip į klausimą "Ar esi melagis?" gauti teigiamą atsakymą? :)

Yzi pyzi. Funkcija AR_ESI_MELAGIS(M) su visom M∊[melagis, teisuolis] reikšmėm turi reikšmę NE.

Problemiškiau, kad atsiranda antros eilės logika arba rekursija, pavyzdžiui, A:=„teiginys A yra klaidingas“ arba A:=„A≡NE“. Čia teiginys A neturi reikšmės, nors A apibrėžtas (t.y., negalima sakyti „A neapibrėžtas“). T.y., jis turi konkrečią apibrėžtą reikšmę iš aibės [TAIP,NE], bet klausimai „kurią konkrečiai“, „ar ta reikšmė yra TAIP“ bei „ar ta reikšmė yra NE“ yra nenusprendžiami.

Tačiau mums tai netrukdo toliau operuoti teiginio A reikšme, pavyzdžiui A∨Ā≡TAIP, A∨NE≡A ir t.t..

Paradokso neliktų, jei mes kažkaip galėtume suvesti iš A:=„A≡NE“ į A:=Ā. Tada gautume neleistiną pirmosios eilės teiginį ir visą teoriją (faktų ir predikatų, aksiomų ir teoremų rinkinį) atmestume kaip prieštaringą.

Gödelio nepilnumo teorema iš principo teigia, kad jokioje baigtinėje aksiomatikoje tokio suvedimo neįmanoma padaryti neįvedant papildomų aksiomų, kurių [ne]prieštaringumui įrodyti reikės vėl naujų aksiomų, kurių—————
  • +3




Užsiregistravo: 2008-10-12, 05:22
Pranešimai: 6402
Miestas: ☀️☁️☂️☁️☀️
Reputacija: +403
   
 
Į viršų
  Standartinė   Parašytas: 2017-03-01, 06:41 
     
Cituoti:
žmonėms būdinga galvoti, kad pasaulis paklūsta logikos ir matematikos taisyklėms.

- Būtent toks žmonių galvojimas yra klaidingas. Tai ne pasaulis paklūsta taisyklėms, o taisyklės pasauliui;
- Ir jeigu tos taisyklės gerai atitinka pasaulį, susidaro iliuzija, kad mes tą pasaulį kontroliuojam ar netgi suprantam
Pvz.: kuris teiginys teisingesnis: "visa ko kritimas į didesnį vakumą" ar "gravitacija"?
- Ir jeigu tik kas pasaulyje pasikeičia - taisyklės meta klaidą, nes jos pačios savo trūkumų neparodo, kol nesusiduria su realybe. Tad pasaulis verčia tobulinti taisykles, o ne taisyklės pasaulį;
- Būtent todėl griūva ne pasaulis, o teorijos.
- Visgi galima ginčytis kad galima pasaulį sukurti pagal taisykles. Sutinku, deja jeigu nekreipdami dėmesio į pasaulį mes jį kursime savaip, rezultatas ne visada bus pageidautinas.
Pvz.: Diktatūros, vergovė, degančio aliejaus gesinimas vandeniu.
Išvada: ne gyvenkime pagal taisykles, o taisykles pritaikykime savo gyvenimui.

P.s. Straipsnis nesprendžia daug rimtesnės dilemos nei taisyklių optimalumas. Daug sudėtingesnė užduotis suprasti - dėl ko mes gyvename? Tad kokias taisykles mums rinktis, kad gyventume geriau?
- Belieka priimti kuo įvairesnius sprendimus ir žiūrėti kaip jie veikia praktikoje.
- Visgi kodėl vieni žmonės turi gyvenimo tikslą, o kiti ne? Į kokios teoremos rėmus tai būtų galima įtalpinti?
  • -1


_________________
Padėk Dieve varguoliams.


Vartotojo avataras

Užsiregistravo: 2012-04-13, 17:31
Pranešimai: 2433
Reputacija: +232
   
 
Į viršų
  Standartinė   Parašytas: 2017-03-01, 07:07 
     
Pezale tu pezale. Bent supranti apie ką straipsnis, ar tik šiaip rašinėji dėl dėmesio trūkumo? Dar tikiesi, kad kažkas užsimanys kažką aiškinti ar ginčytis? Pavartyk vikipediją, gal kitąsyk pavyks labiau į temą pataikyt.
  • +2




Užsiregistravo: 2008-10-12, 05:22
Pranešimai: 6402
Miestas: ☀️☁️☂️☁️☀️
Reputacija: +403
   
 
Į viršų
Rodyti paskutinius pranešimus:
Rūšiuoti pagal
 


Naujos temos kūrimas Atsakyti į temą  [ 5 pranešimai(ų) ] 

Visos datos yra UTC + 2 valandos [ DST ]


Dabar prisijungę

Vartotojai naršantys šį forumą: Registruotų vartotojų nėra ir 2 svečių


Jūs negalite kurti naujų temų šiame forume
Jūs negalite atsakinėti į temas šiame forume
Jūs negalite redaguoti savo pranešimų šiame forume
Jūs negalite trinti savo pranešimų šiame forume
 

Ieškoti:
Pereiti į:
 
 

Reputation System ©'