Zobrazit příspěvky

Tato sekce Vám umožňuje zobrazit všechny příspěvky tohoto uživatele. Prosím uvědomte si, že můžete vidět příspěvky pouze z oblastí Vám přístupných.


Příspěvky - Mirek Prýmek

Stran: 1 ... 271 272 [273] 274 275 ... 618
4081
Studium a uplatnění / Re:Proč tolik matematiky?
« kdy: 01. 07. 2015, 16:09:41 »
Ano, už je to tu zase! Zajímavé, že ve sportu nikoho nepřekvapí, že fotbalisti choděj do posilovny [...]
Ale když má programátor trénovat mozek přemýšlením o abstraktních matematických problémech
A nebude to náhodou tím, že přínosnost přemýšlení nad matematikou je předkládána jako fakt, ale nikdy nikdo nepředložil žádný důkaz, že to 1. opravdu funguje 2. je nejefektivnější způsob ?

Například Tacitus (systém porozumění textu vyvíjený v Kalifornii na ISI) je na tom založen. Ono má vlastně téměř vše praktické využití, jen ne každý využije všechno.
Na čem "tom"? Na úplnosti nebo na znalosti jejího důkazu?

A i kdyby na důkazu, tak výjimka potvrzuje pravidlo, že :)

P.S. proti logice naprosto nic nemám, naopak ji mám moc rád, čtu si o ní pro zábavu a myslím, že by měla být daleko rozšířenější, ale tyhle argumenty mi přijdou (opět) dost přitažené za vlasy...

4082
Studium a uplatnění / Re:Proč tolik matematiky?
« kdy: 01. 07. 2015, 15:38:22 »
Jde spíš o to, do jaké hloubky to učit. Predikátová logika vypadá triviální, ale kdo chápe důkaz její úplnosti? Většina studentů asi sotva.
No, důkaz úplnosti je vynikající příklad věci, jejímuž pochopení je potřeba věnovat netriviální množství času a zároveň je pro kohokoli, kdo nemá zvláštní zájem o logiku coby teorii, naprosto zbytečná a nevyužitelná.

Navíc todle jsou naprosto zbytečný a nikam nevedoucí řeči. To se taky někdo jiný může podivovat nad tím, že většina studentů ani neví, co je to Kripkeho sémantika, natož aby ji uměli nějak popsat neřkuli dokonce upravit podle zadání...

No a co? Sere pes.

4083
Studium a uplatnění / Re:Proč tolik matematiky?
« kdy: 01. 07. 2015, 14:24:37 »
Poznam absoloventov  jednej fakulty kde sa z filozofie robia statnice a ziadny myslitelia to niesu.
Tím jenom říkáš, že na té škole jsou špatní učitelé, nic víc. Nepochybně existují i špatní učitelé matiky...

4084
Studium a uplatnění / Re:Proč tolik matematiky?
« kdy: 01. 07. 2015, 14:09:08 »
Konkrétně třeba co je teorie (v matematickém kontextu), co je to matematický důkaz, nebo třeba co nám může důkaz říct o platnosti axiomů. Extrémní příklady se dají najít kolem témat jako je Goedelův ontologický důkaz.
Myslíš opravdu Goedelův "důkaz", nebo Anselmův? Ten Goedelův je totiž chybný a já osobně si nedovedu představit, že by ho Goedel myslel vážně (leda že by ho psal v době, kdy už na tom psychicky nebyl úplně dobře). Spíš bych tipoval, že to myslel jako takový pokus, jak by se Anselmův důkaz dal axiomatizovat v S5.

Nebo's myslel, že jsi četl neodborné komentáře? Tomu bych se ani nedivil, modální logika není zrovna denní chleba většiny lidí :)

4085
Studium a uplatnění / Re:Proč tolik matematiky?
« kdy: 01. 07. 2015, 11:55:30 »
Před pár dny se mi po třech letech podařilo úspěšně odstátnicovat na oboru Obecná matematika. Studium bylo vcelku příjemné, komorní, naučil jsem se nepřeberné množství úžasných a mimo matematiku naprosto nepotřebných abstraktních struktur a mentálních konstruktů. Může se zdát, že jsem se tímto odsoudil k výzkumu a práci v akademické svéře. Avšak já se na dráhu profesionálního matematika v žádném případě nechystám :-) V průběhu studia jsem si vedle matematiky dával také vybrané předměty na informatice, od prváku makám jako živnostník v IT a studia matematiky jsem zatím nikdy nelitoval. Proč? Troufale tvrdím, že mě matematika naučila myslet. Logika, správná argumentace, vysoká míra abstrakce... Díky tomu je pro mě práce v informatice velmi příjemná záležitost. Přítelkyně si ze mě často utahuje, že do práce chodím relaxovat a bavit se. A má pravdu. :-))
Jak jsem ten příspěvek četl, tak si říkám: "Hmmm, zvláštní, zvláštní, tak dlouhej text a ještě nezaznělo ani, že vás matika naučí myslet, ani že je nutně potřeba k psaní 3D enginu!" Naštěstí jsem nakonec nebyl zklamán!

4086
Studium a uplatnění / Re:Deník nasraného studenta
« kdy: 01. 07. 2015, 01:06:27 »
Tam se nedá mluvit o tom, že je sporná, jenom formální (axiomatizovaná) teorie může být sporná.
Ano a jenom axiomatizovaná teorie může být teorie :)

Já mám třeba teorii, že všichni, kdo se příliš zahledí do formálních aspektů matematiky, pak nejsou schopní normálně myslet. Někteří to ale dokážou.

4087
Studium a uplatnění / Re:Proč tolik matematiky?
« kdy: 01. 07. 2015, 00:57:24 »
Tak zrovna Dijkstrův algoritmus se na středních učil. Ono se toho učilo poměrně dost, stačí vytáhnout nějakou učebnici z 80. nebo z 90. let.
Nebo z první republiky, kdy každý maturant uměl řecky. No co naděláme, že.

Jak říká klasik:
Citace
Hacker: That's not the point. Look at Latin. Hardly anybody knows that now.
Humphrey: Tempora mutantur, nos et mutamur in illis.
Hacker: What?
Humphrey: Times change and we change with the times.
Hacker: Precisely.
Humphrey: Si tacuisses, philosophus manisses.
Hacker: What does that mean?
Humphrey: If you'd kept your mouth shut, we might have thought you were clever.
Hacker: I beg your pardon?
Humphrey: Not you, Prime Minister. That's the translation.
Bernard: No one would have thought Sir Humphrey was saying that about you.
Humphrey: Go away, Bernard, please.
Hacker: I can't believe it. You had a strict academic upbringing. Are you denying the value of it?
Humphrey: What's the use of it? I can't even call upon it in conversation with the Prime Minister of Great Britain!

4088
Studium a uplatnění / Re:Proč tolik matematiky?
« kdy: 01. 07. 2015, 00:43:52 »
a potom je ještě smutnější vidět jak vysokoškolák má problémy s čímkoliv složitějším jako je trojčlenka.
Hm. A ty máš zas problém s češtinou, no. A co jako máme dělat? No asi se s tím nějak naučíme žít :)

4089
Studium a uplatnění / Re:Funkcionální programátor
« kdy: 01. 07. 2015, 00:34:28 »
každý kdo si myslí že je možné něco jako forkWorld v Cleanu je debil který nepochopil ani první větu na wiki o UT
Ne, ty jsi nepochopil ten argument:

1. Haskell záměrně umožňuje jakousi (dle tebe) prasárnu, aby umožnil něco, co by jinak nebylo možné
2. Kdyby Clean chtěl umožnit to samé, pak by musel umožnit tu samou prasárnu (a tím by opustil tu čistotu, v tom máš pravdu)
3. Kdyby[/b] chtěl být Haskell čistý, tak by tu prasárnu neumožnil.

Všimni si prosím, že "pak by musel umožnit" není totéž jako "umožňuje".

(netvrdím, že to takhle je, na to znám Haskell málo, jenom reprodukuju ten argument, jak jsem ho pochopil já)

4090
Studium a uplatnění / Re:Deník nasraného studenta
« kdy: 30. 06. 2015, 15:28:37 »
V čem je ZF(C) sporná?
ZF(C) není Cantorova teorie množin. Cantorova teorie se taky nazývá "naivní". Viz: https://cs.wikipedia.org/wiki/Naivn%C3%AD_teorie_mno%C5%BEin vs. https://cs.wikipedia.org/wiki/Zermelova-Fraenkelova_teorie_mno%C5%BEin

4091
Studium a uplatnění / Re:Funkcionální programátor
« kdy: 30. 06. 2015, 08:57:42 »
Ha, tak už vím, kde jsem o tom četl: http://www.bloom-lang.net/ a k tomu paper: http://www.eecs.berkeley.edu/Pubs/TechRpts/2009/EECS-2009-173.html (jedná se o Datalog - zjednodušený Prolog, rozšířený o temporalitu)

Ne, že by to nějak výrazně přispívalo k debatě, jenom jsem chtěl zamachrovat, že umím googlovat a nejsem už úplně sklerotickej ;)

4092
Studium a uplatnění / Re:Funkcionální programátor
« kdy: 30. 06. 2015, 00:14:15 »
Asi to není ono, ale synchronní jazyky pracují s diskrétním časem, v taktech. Například při deklaraci proměnné lze určit agregační funkci - hodnoty přiřazené různými vlákny ve stejném čase t se pak zagregují pomocí této funkce.
Není to ono, ale tohle je rozhodně taky zajímavý a neznal jsem. Kouknu, dík.

4093
Studium a uplatnění / Re:Funkcionální programátor
« kdy: 29. 06. 2015, 23:35:09 »
v Haskellu se s kombinací forkIO/delay/timeout/STM/mplus dají dělat docela zajímavé věci v časové oblasti
Mě šlo spíš o to, jestli někdo máte zkušenost s něčím, kde čas figuruje explicitně jako parametr. Nějakým způsobem by se pak asi dal řešit i ten problém IO ve víc vláknech, třeba by se ten parametr nějak atomicky inkrementoval a IO akce se tím řadily, nevím, plácám ;)

Matně si vzpomínám, že jsem jednou četl nějaký text, kde se tuším řešil nějaký popis konfigurace počítačů pomocí logiky nebo něco takovýho a tam právě se pracovalo s tím, že konfigurace v čase t je nějaká a pomocí nějaké přechodové funkce pak v t+1 nějaká jiná... Bohužel detaily už si nepamatuju, ani mě teď nenapadá, jak bych ten text našel.

4094
Studium a uplatnění / Re:Funkcionální programátor
« kdy: 29. 06. 2015, 23:20:19 »
Mimochodem, docela mě zaujalo, jak tady kdosi zmínil, že v Cleanu (?) se explicitně pracuje s časem. To by mě docela zajímalo, jestli někdo nevíte o jazyku/knihovně, kde by čas byl fakt vyloženě explicitní - něco jako třeba v temporálních logikách nebo v logikách možných světů. To by mohl být docela hezký nástroj pro IO, kdyby se to vzalo za správný konec...

Nemáte k tomu někdo nějaký tip/zkušenost/poznatek?

4095
Studium a uplatnění / Re:Funkcionální programátor
« kdy: 29. 06. 2015, 23:13:16 »
A co vidím? HE?? Mirek ze mě dělá debila.
To jsem neměl v úmyslu. Chtěl jsem jenom říct, že bombastičnost a arogantnost tvýho chování v mých očích neodpovídala (ne)závažnosti sdělení.

Já sem o nikom neřekl že je pitomec. Jo, klidně si všechno pročti.
To jsem právě udělal. Neměl jsem dneska čas debatu sledovat, takže jsem si to přečetl až teď celý v jednom kuse a udělalo to na mě dojem takový, jaký udělalo. A jestli chceš příklad příspěvku, tak třeba tenhle: http://forum.root.cz/index.php?topic=11417.msg134392#msg134392 Tohle prostě bylo zbytečný. Radek není žádnej pitomec a ví, o čem mluví, takovou reakci si imho nezasloužil. Škoda, že jsi téma nenastartoval raději s trochou skromnosti a pokory, mohli jsme si o tom dobře pokecat, mohlo to být zajímavý a nemuselo to skončit s tím, že práskneš dveřma a nazdar...

A to že lidi moje argumenty nečtou a ani se nad nimi pořádně nezamýšlej je bohužel pravda.
Není. V tom je právě ten problém, že jsi vyvolal mylný dojem, že přinášíš svatý grál, vyvolal jsi zájem a posluchače zklamal, protože jsi nepřinesl nic, co by (předpokládám) nevěděli od samého počátku.

Kdybys ale krom kopnutí si do mučedníka také četl, zjistil by si že jsem kázal o dalších dvou evangeliích. Přičemž obě dvě umožňují IO ve více vláknech (u toho druhého, respektive třetího, nevím, neměl jsem čest ho vyzkoušet, ale teoreticky vzato může runtime zpracovat požadavek z listu v kolika vláknech chce). Tak. Finito.
No o tom třetím (listy) zaznělo, že to tak v Haskellu bylo a upustilo se od toho. Čili nic nového.

S reaktivností je pak problém v tom, že to je dost buzzword a musel bys ukázat konkrétní příklad, co a jak to podle tebe řeší. Já třeba úplně nechápu, jak bys pomocí reaktivnosti řešil ten race condition (resp. deadlock), který jsi od začátku vykřikoval, že nutně chceš mít vyřešenej. V Erlangu se čistě reaktivní procesy používají běžně a deadlocky to nijak neřeší, spíš naopak. Pořád na ně musí programátor myslet, protože prostě cykly v posílání zpráv za tebe žádný překladač magicky nevyřeší.

No a kdyby ses do toho celýho nepustil tak zhurta a se svatým zápalem, mohli jsme o tom pokecat, jaký máš zkušenosti. Což teď půjde těžko a to je škoda, protože každej pokec o FP v češtině potěší...

Stran: 1 ... 271 272 [273] 274 275 ... 618