Deník nasraného studenta

[hawran diskuse]

 

Tak na root-u probíhá Cannabis Contest a mi se nic neřekne!
 

[Reklama]

[Nemo7]

Tak na root-u probíhá Cannabis Contest a mi se nic neřekne!

Náhodou, je to podnětná a zajímavá diskuze...

[Radek Miček]

Když už jste zabrousili do temna, zmínil bych Cantorovu teorii množin. Tu snadno (intuitivně) pochopíte, ale vlastně je k ničemu, protože je sporná. Učit množiny podle Cantora je tedy takovým příkladem lži dětem.

U teorií základní aritmetické síly (Peano, ZF) nemáme důkaz konzistence, tudíž hrozí, že i tyto jsou sporné.

[Jakub Galgonek]

U teorií základní aritmetické síly (Peano, ZF) nemáme důkaz konzistence, tudíž hrozí, že i tyto jsou sporné.

Ano, to je pravda, ale to snad není důvod používat teorii, o jejíž spornosti není pochyb :-)

[Radek Miček]

U teorií základní aritmetické síly (Peano, ZF) nemáme důkaz konzistence, tudíž hrozí, že i tyto jsou sporné.

Ano, to je pravda, ale to snad není důvod používat teorii, o jejíž spornosti není pochyb :-)

Spíše bych řekl, že je to důvod nepoužívat klasickou predikátovou logiku a místo ní použít/vyvinout systém, který rozumně funguje i v přítomnosti nekonzistencí. Přičemž "rozumně" implikuje, že např. není dokazatelné vše.

[Reklama]

[je tu sranda]

Tak na root-u probíhá Cannabis Contest a mi se nic neřekne!
 

Nech je, maji prilezitost dat vedet o svych letech na kurzech matematiky a ukazat, jaci jsou mistri sveta v reseni hoven.

[Makovec]

Tak na root-u probíhá Cannabis Contest a mi se nic neřekne!
 

Nech je, maji prilezitost dat vedet o svych letech na kurzech matematiky a ukazat, jaci jsou mistri sveta v reseni hoven.

Aquila non capit muscas 

[mr. frown]

Spíše bych řekl, že je to důvod nepoužívat klasickou predikátovou logiku a místo ní použít/vyvinout systém, který rozumně funguje i v přítomnosti nekonzistencí. Přičemž "rozumně" implikuje, že např. není dokazatelné vše.

Nevim jak by se dala rozumne pouzit teorie kde se da dokazat vyrok i jeho negace... Myslim ze se spis budeme muset smirit s nekompletnosti...

[Radek Miček]

Spíše bych řekl, že je to důvod nepoužívat klasickou predikátovou logiku a místo ní použít/vyvinout systém, který rozumně funguje i v přítomnosti nekonzistencí. Přičemž "rozumně" implikuje, že např. není dokazatelné vše.

Nevim jak by se dala rozumne pouzit teorie kde se da dokazat vyrok i jeho negace... Myslim ze se spis budeme muset smirit s nekompletnosti...

Pár aplikací:

• Dialetheismus může lépe modelovat reálný svět nebo lidské myšlění.
• Zjednodušením konzistentní teorie může vzniknout nekonzistentní teorie, v níž se lépe pracuje. Některé výsledky odvozené v nekonzistentní teorii však mohou platit i v té konzistentní.
• Mnohdy nevíte, zda je teorie konzistentní, tudíž je lepší předpokládat tu horší možnost a umět se vypořádat s nekonzistencí.

Hezká přednáška na toto téma je What if Current Foundations of Mathematics are Inconsistent?

[je tu sranda]

Tak na root-u probíhá Cannabis Contest a mi se nic neřekne!
 

Nech je, maji prilezitost dat vedet o svych letech na kurzech matematiky a ukazat, jaci jsou mistri sveta v reseni hoven.

Aquila non capit muscas 

Nadmul jsi hrud a ted zpatky do prace a odvadet mi dane. 

[Alice Karch]

Aquila non capit muscas 

Orel sice mouchy nechytá, ale máš to napsané špatně .

[Makovec]

Aquila non capit muscas 

Orel sice mouchy nechytá, ale máš to napsané špatně .

Díky za upozornění, no je to strojový překlad :-) ... přišlo mi, už když jsem to odeslal, že ten slovosled by možná měl být jiný ("Aquila muscas non capit"), případně ty mušky by mělý být nějak skloňované (muscarum?), ale schválně jsem teď googloval a zdá se že jak jsem to napsal jsem se trefil do ustálené podoby toho rčení?!

A při tesání do kamene třeba takhle AQVILA NON CAPIT MVSCAS :-)

[MrDrZ]

A ted k hledani informaci pres google/seznam ten seznam bylo samozrejme postouchnuti, stackoverflow a podobni jsou skvele databaze ale v nich google celkem dobre hleda, dokonce umi hledat i vevedeckych clankach, jenze zdroju informaci je dnes tolik ze najit neco relevantniho neni nejlehci a opravdu se musi umet hledat pak je silny nastroj i google, take je nutne trochu myslet a mi prave z vs ty zakladni znalosti jak to v to pc vlastne cele maka, aby clovek posoudil hodnotu nalezenych textu a pouzil jen ty releventni a co je take dulezite aktualni.

 pokud mas otazku ke ktere lze odpoved nalezt vyhledavaci nebo v tradicnejsich formach uz zformulovanou, tak delas neco spatne.

[MrDrZ]

Spíše bych řekl, že je to důvod nepoužívat klasickou predikátovou logiku a místo ní použít/vyvinout systém, který rozumně funguje i v přítomnosti nekonzistencí. Přičemž "rozumně" implikuje, že např. není dokazatelné vše.

Nevim jak by se dala rozumne pouzit teorie kde se da dokazat vyrok i jeho negace... Myslim ze se spis budeme muset smirit s nekompletnosti...

a komu ten status quo vyhovuje, ze hazi flintu do zita jen co francouzske veleni vyvesi bilou vlajku a jde na raut?

jinak prijde mi, ze se to tu nejak moc zacina stacet k vlaknu budoucnost digestore.

[Tomáš Marný]

Aquila non capit muscas 

Orel sice mouchy nechytá, ale máš to napsané špatně .

Díky za upozornění, no je to strojový překlad :-) ... přišlo mi, už když jsem to odeslal, že ten slovosled by možná měl být jiný ("Aquila muscas non capit"), případně ty mušky by mělý být nějak skloňované (muscarum?), ale schválně jsem teď googloval a zdá se že jak jsem to napsal jsem se trefil do ustálené podoby toho rčení?!

A při tesání do kamene třeba takhle AQVILA NON CAPIT MVSCAS :-)

Latina má podobně jako čeština volný slovosled, takže obojí je možné. Sloveso na konci je běžnější zvláště v klasickém období. Akorát sloveso CAPTARE by bylo o něco vhodnější, to doslova znamená polapit, chytat, takže NON CAPTAT.