Příspěvky

3376

Studium a uplatnění / Re:Proč tolik matematiky?

« kdy: 02. 03. 2016, 10:17:41 »

1)daji se vsechny mozne logiky zredukovat na nejaky nejblizsi spolecny zaklad nebo z nejake zakladni- predikatova? ostatni vychazeji ale nejak ji prerustaji takze jsou vsechny nejakymi nadmnozinami nebo maji jen spolecny , nulovy..prunik?apod. te zakladni? ptam se jako laik tak mne berte prosim s rezervou

Různých logických systémů jsou mraky. Ty běžné/rozumné z predikátové vychází a nějak ji pozměňují nebo rozšiřují. Třeba logiky druhého řádu umožňují kvantifikaci přes predikáty, tj. ne jenom vyjádřit, že všechna individua mají nějaké vlastnosti, ale že něco platí o všech vlastnostech individuí. Ta zmíněná TIL zas přidává možnost "spustit" nebo "citovat" formuli - tj. buď něco zmiňuju, nebo o tom mluvím (je to podobný jako makra v programovacích jazycích - buď mi jde o hodnotu nebo je hodnotou celá konstrukce). Například tyhle dvě rozšíření pak ten systém dělají silnějším než predikátová - stejně jako je predikátová silnější než výroková a není tímpádem na ní převoditelná.

Konkrétně třeba u těch modalit si nedovedu představit, jak by se v predikátové logice dalo obecně vyjádřit základní pravidlo modality "všechny nutné vlastnosti jsou možné". Doufal jsem, že se od zboje dozvím, jaké ty limity jsou a jak moc je to prakticky použitelné, ale rozhodl se dělat zagorku, tak ať si to užije...

3377

Studium a uplatnění / Re:Proč tolik matematiky?

« kdy: 02. 03. 2016, 10:00:04 »

neznam kontext cele diskuse, ale pocitam, ze jde opet o nedorozumeni zpusobene a prohlubovane tahovym mediem.

Ne. Jde o zbojův vědomý záměr tvářit se jako tajemný guru, který póvlu shazuje drobečky ze svého stolu hojnosti. Pokud by se chtěl domluvit, tak bysme se domluvili během dvou tří příspěvků.

3378

Studium a uplatnění / Re:Proč tolik matematiky?

« kdy: 02. 03. 2016, 09:42:19 »

Abychom se vrátili k původní otázce, myslím, že se tu právě ukázalo, že když už nic jiného, má matematika význam jako prostředek pro stručný a jednoznačný zápis myšlenek a tvrzení (na rozdíl od Cantorových dob už existuje všeobecně uznávaná konvence). Lidé, kteří jsou schopni matematický zápis pochopit, si usnadní diskusi. Jiným nezbývá než plácat nesmysly a urážet. Jak řekl Haldane: "An ounce of algebra is worth a ton of verbal argument."

Ne, zboji, ukázalo se, že matika/logika se výborně hodí na honění si trika. Stačí štěknout nesouvisející věc bez řádného vysvětlení a můžete kohokoli čtyři dny tahat za nos.

...úplně přesně jako někteří učitelé na VŠ - cílem není vysvětlit myšlenku, ale ukázat všem, jak jsem drsnej a ostatní jsou pitomci. V matice je to snadnější než kde jinde.

Kdybys nebyl namistrovaný hovado, který rozděluje lidi na absolventy MFF a póvl, mohl jsi to od začátku napsat jako člověk:

No máme tady jednoduché modální logiky, jako např. XYZ, které jsou převoditelné na predikátovou, ale ty pořád ještě nestačí k popisu světa tak, jak ho normálně vnímáme, takže ten problém, o kterém píšeš, tam zůstává. Nejzajímavější logika, kterou znám a jsme schopní ji takhle definovat uvnitř predikátové, je ABC.

...a mohli jsme se od tebe všichni něco zajímavého dozvědět (vůbec nepochybuju o tom, že téhle věci rozumíš o několik řádů líp než já). Ty ses ale nerozhodl použít svoje znalosti k tomu, abys přispěl do diskuse, abys někomu něco zajímavého srozumitelně sdělil, ty ses rozhodl je využít na to, aby sis honil triko. Což je bohužel pro rádobymatematické sektáře typické.

3379

Studium a uplatnění / Re:Proč tolik matematiky?

« kdy: 02. 03. 2016, 00:17:08 »

Ale pane kolego, ať teda nekončíme ve zlém, navrhuji následující komuniké:

1. svět reálný lidí je složitější než svět drtivé většiny matematiky
2. i pětileté dítě chápe svět způsobem, který není predikátovou logikou zachytitelný
3. existují různé logiky s modalitami, z nichž některé jsou stejně expresivní jako predikátová
4. ty, které jsou stejně silné, jsou ty, které svět pětiletého dítěte nezachycují
5. zboj měl pravdu, že Prýmek lidi uráží, ale byla to předtucha, stalo se to až poté, co to zboj napsal
5. kdyby nebyl zboj namistrovaný anonym, nemuselo by se pět dní vyjasňovat, co svými poštěkávanými moudry vlastně myslí a místo urážek mohl věnovat energii přesné korektní  diskusi
6. čili kdyby zboj nebyl ko-kot, mohli jsme všichni více času věnovat něčemu prospěšnějšímu
7. Matika je boží!

Je to ok, ne? Na tomhle bysme se mohli shodnout.

3380

Studium a uplatnění / Re:Proč tolik matematiky?

« kdy: 01. 03. 2016, 23:58:06 »

Zase skáčeš na jiné téma, o žádné hyperintenzionální logice jsme se vůbec nebavili. Vždy když jsi v koutě, vytáhneš něco jiného. Nebo nechápeš, že se od modální logiky trošku liší? Holt Spark to není, no...

Pane kolego, dovolím si jen uvést kontext:

Jenže v reálném světě to funguje jinak: pracuješ s modalitami, neúplnou informací, intuicí...

3381

Studium a uplatnění / Re:Proč tolik matematiky?

« kdy: 01. 03. 2016, 23:21:45 »

Teď ses vybarvil. Už to dost přeháníš. Diskuze to fakt není, ta bývá věcná. Ale neboj, na tvou úroveň neklesnu...

Drahý příteli, já jsem s tebou měl několik dní trpělivost a ochotně jsem poslouchal tvoje lži o tom, jak někoho urážím. Čili jsem ti ve své nekonečné trpělivosti a dobrotě teď chtěl ukázat, jak vypadá někoho urážet.

A teď laskavě zavři Root a dokud si nenastuduješ materiály, které vysvětlují, v čem ses mýlil, raději se o tom dál nešiř. Já za sebe ti v tom pro svou mohutnou velkodušnost pomůžu tím, že už na tebe nebudu reagovat. Čili maximálně ještě jednou si tady nahoň triko kravinama a pak se pusť do té Alešovy disertace. Je to pro dobro lidstva, potrénuješ si tím myšlení. A pokoru.

3382

Studium a uplatnění / Re:Proč tolik matematiky?

« kdy: 01. 03. 2016, 23:05:46 »

To asi nepůjde, když spáchal sebevraždu. Doufám, že v tom nemáš prsty Jinak jeho TIL je něco jako Montagueova logika, a ta ve FOL formulovat jde.

Hele, ty bys měl teď držet klapačku, šoupat nohama a číst si tu disertaci. A pokud ti to nestačí, dala by se doporučit třeba tahle publikace, ty henkinovská sémantiko: https://books.google.cz/books/about/Procedural_Semantics_for_Hyperintensiona.html?hl=cs&id=9cK10D6QFKUC

Jasně jsem ti řekl, že s hovadama nediskutuju, takže tohle není diskuse a na tvoje další pseudomoudra nejsem zvědavej. Já ti teď jenom blahosklonně sděluji zdroje, který by sis měl nastudovat, abys pochopil, kde jsi udělal chybu. Opakuju: už o ničem nediskutujeme, chápeš to?

3383

Studium a uplatnění / Re:Proč tolik matematiky?

« kdy: 01. 03. 2016, 22:55:24 »

A přestože seš takovej hulvát namyšlenej, já ti ten link dám. A hned dva. Za jak dlouho jsem je našel? 5 minut? A ty tady kolem toho už aspoň dva dny mudruješ a dodal jsi kulový, kromě úsměvnýho vzorečku, se kterým jsi se mě asi marně snažil  ohromit. A ještě vtipnější "citace" "nějakýho Peregrinova článku"...

Takže:

TIL is not based on first-order logic of relations. It is a functional
logic using (interpreted) typed λ-calculus instead. Its first stage based
on using procedures (‘constructions’) works with first-order hierarchy
of types, which is however more expressive than first-order predicate
logic.

http://apcz.pl/czasopisma/index.php/LLP/article/download/LLP.2013.032/1854

Traditionally, the first order predicate logic was
used for the semantic description of language. As Montague [Montague74,
Montague73] showed, this logic system is able to capture an important range
of the constructs but the range of valid constructs in natural language is far
wider.

http://www.fi.muni.cz/~hales/disert/thesis.pdf

Můžeš si tu diplomku nastudovat, nebo rovnou toho Montagueho, aspoň si rozšíříš obzory. Bude to bezva filtr, do té doby, než to pochopíš, bych ti dal ban

3384

Studium a uplatnění / Re:Proč tolik matematiky?

« kdy: 01. 03. 2016, 22:33:43 »

Teď se můžeš začít hádat o své "pravdě" s Peregrinem, ten to totiž tvrdí taky, ale se svým stylem asi brzo narazíš.

Peregrin v (nějakém článku)* tvrdí (něco), nevíme co), co podporuje (nevíme jak) (nějakou tezi, přesně nevíme jakou). Super. A tohle je důkaz. A stidum matematiky je důležité, abyste se naučili správně myslet a argumentovat.

A když je nejhůř, odvoláme se na autority... Tak fajn, hádej se s Tichým, proč mu predikátová logika nestačila, vole.

* název jsi - pokud si dobře pamatuju - neuvedl

3385

Studium a uplatnění / Re:Proč tolik matematiky?

« kdy: 01. 03. 2016, 22:28:44 »

Nechybaju. Uz som pisal o niektorych SPSE na Slovensku

Měl jsem za to, že dotaz i diskuse byla o českých školách.

a o zamestnatelnosti absolventov. Ti lepsi, absolventi s praxou a ti so znamostami sa zamestnaju. Do ostatnych nikto neinvestuje ako do predchadzajucich skupin alebo do vysokoskolaka, co presiel nejakym sitom (matikou). Ze aj ti ostatni vedia riesit zakladne HW problemy, robit s Windowsovymi PC podla definicii Lamy a aj si nainstalovat nejake Linux distro, to nikomu nestaci.

O takových trivialitách tady ale nikdo nemluví.

3386

Studium a uplatnění / Re:Proč tolik matematiky?

« kdy: 01. 03. 2016, 22:25:24 »

Nic proti čistě praktické výuce, ale ať se pak takoví aspoň nehádají o různých logikách jako Prýmek a nevypisují nesmysly, když ani nerozumí podstatě formálního důkazu.

Žádný formální důkaz jsi neposkytl, protože poskytnout nejde, protože co tvrdíš je krávovina a opravdovou modální logiku, která je k něčemu, tím tvým způsobem udělat nejde. Vyvrátil bys to jde jedním url, které jsi neposkytl, ale triko si tady budeš honit dál. Můžeš to klidně zopakovat desetkrát a pořád to pravda nebude, ty péro jedno*

* z lásky k tobě jsem doplnil lehkou osobní urážku, aby se tvoje kecy mohly stát pravdou alespoň ex post.

3387

Studium a uplatnění / Re:Proč tolik matematiky?

« kdy: 01. 03. 2016, 22:17:33 »

Hezky řečeno

Propánajána, tak proč tady do mě celou dobu ryješ, jestli s tímhle souhlasíš?

3388

Studium a uplatnění / Re:Proč tolik matematiky?

« kdy: 01. 03. 2016, 22:07:50 »

tak jestli fakt netvrdíte, že absolventi technických vysokých škol nemusí umět matematiku, tak možná ani nejsme ve sporu

Otázka, jestli absolvent technických VŠ "musí" umět matiku mě zajímá asi tak stejně jako jestli římskokatolický kněz musí žít v celibátu. Je mi to úplně volný, je to jejich věc.

3389

Studium a uplatnění / Re:Proč tolik matematiky?

« kdy: 01. 03. 2016, 19:51:23 »

no je to poněkud mimo téma, viz úvodní příspěvek, takže opravdu nevím co tím chcete říct

Je to naprosto k tématu. OP se ptal: "Kdybych to bral třeba podle IT VŠ, tak je tam plno matematiky, kterou pak už nevyužiju, ne? Tak proč tolik času se jí věnuje a jaký to má smysl?"  A moje odpověď je: pokud se chceš věnovat vyloženě praktické informatice, tak to má smysl jenom pro povznesení ducha, praktický smysl to nemá. Ve studijních plánech je to jadkak z historických důvodů, a taky proto, že prakticky laděného terciálního IT školství je málo, takže se teoretici i praktici vzdělávají na jednom typu školy, ke škodě všech.

3390

Studium a uplatnění / Re:Proč tolik matematiky?

« kdy: 01. 03. 2016, 19:25:49 »

no a?

To je odpověď na tvoji otázku. Fakt to musím rozvádět?! OMG!