Příspěvky

106

/dev/null / Re:Těžké OOP problémy

« kdy: 12. 11. 2019, 16:37:00 »

Mé tvrzení bylo, že neexistuje otázka, která by neměla odpověď? Nebo že by tu jen někdo kritizoval věci, které si vymyslel... ?

Tvoje tvrzeni bylo, ze plati bud x nebo y. Ja ti rikam, ze existuje i treti moznost.

Ne, tvrzení bylo, že buď jsi to použil špatně, nebo ne. Ale dobrá, sem s ní.

107

/dev/null / Re:Těžké OOP problémy

« kdy: 12. 11. 2019, 16:14:47 »

No ona ta otázka je dost pochopitelná, protože buď má ondrama pravdu - tj. Prýmek použil množina namísto predikátu špatně -, nebo ji nemá, a pak by to muselo platit. A jelikož si na tom trvá...

To je omyl. Existuji otazky, na ktere odpoved neexistuje. Treba proto, ze jsou chybne strukturovane.

Napr: Muze Buh stvorit kamen, ktery by sam neunesl?

Mé tvrzení bylo, že neexistuje otázka, která by neměla odpověď? Nebo že by tu jen někdo kritizoval věci, které si vymyslel... ?

108

/dev/null / Re:Těžké OOP problémy

« kdy: 12. 11. 2019, 16:12:36 »

Nevim jestli jde o tohle... Nevim jak moc si to myslis nebo nemyslis.
Ale urcite sis myslel, ze ondrama nastoluje takovou otazku.

To by musel rict Cikada, o co mu jde a s cim nesouhlasi. Zatim kritizuje jenom veci, ktere si vymyslel. Ucebnicovy straw man

Akorát nějak náhodou k tomu ten darebák měl vždycky citaci! To určitě má z těch učebnic! 

109

/dev/null / Re:Těžké OOP problémy

« kdy: 12. 11. 2019, 16:07:00 »

"Byt funkcionalnim jazykem" neni mnozina, ale predikat.

...
Podle mě teda vlastně nastoluješ otázku, jestli 1. dává vůbec smysl mluvit o množině predikátů 2. jestli je množina predikátů predikát. Souhlas?

...

Nevim jestli jde o tohle... Nevim jak moc si to myslis nebo nemyslis.
Ale urcite sis myslel, ze ondrama nastoluje takovou otazku.

No ona ta otázka je dost pochopitelná, protože buď má ondrama pravdu - tj. Prýmek použil množina namísto predikátu špatně -, nebo ji nemá, a pak by to muselo platit. A jelikož si na tom trvá...

110

/dev/null / Re:Těžké OOP problémy

« kdy: 12. 11. 2019, 15:58:24 »

Ja si myslim, ze docela vim, s cim Cikada nesouhlasi. Jenom me zajima, jak moc zarputile bude trvat na tom, ze jeho videni sveta je jedine spravne a nebude ochotny pripustit sebemensi chybu na sve strane

Já jsem ochotný připustit chybu na své straně, nicméně stále jsi nevysvětlil, jaké vidění toho světa je to tvé - krom toho, že `a` a `{a}` je to stejné, což prostě nesedí.

Vzhledem k tomu, s jakou urputnosti obhajoval absurdni teze "kazda faktura musi byt podepsana" a "vyznamy slov definuje slovnik", tak asi dost zarputile

Tak pokud se chceme něčeho dobrat, tak by asi bylo vhodné používat termíny jako "absurdní" na základě něčeho. Doposud jsi nebyl schopen tu "tezi" vyvrátit ničím jiným než relativizováním, jak je ti bohužel vlastní.

Btw na fakturu si nevzpomínám, tak bych uvítal citaci.

111

/dev/null / Re:Těžké OOP problémy

« kdy: 12. 11. 2019, 15:04:07 »

Citace jsi dostal. Buď je neignoruj nebo nelži.

Nechápu, proč opakuješ to samé, co jsem citoval já, a říkáš, že to ignoruju? WTF?!

"Byt funkcionalnim jazykem" neni mnozina, ale predikat.

Zaprvé jsem nenapsal množina [čehokoli], ale  "množina vlastností". Co je to vlastnost? Já mám za to, že predikát. Souhlas? Podle mě teda vlastně nastoluješ otázku, jestli 1. dává vůbec smysl mluvit o množině predikátů 2. jestli je množina predikátů predikát. Souhlas?

Pokud v obojím souhlasíš, tak ...

Čekám omluvu.

112

/dev/null / Re:Těžké OOP problémy

« kdy: 12. 11. 2019, 14:40:43 »

Máš tam citaci. Nelži.

Myslíš citaci jiných tvrzení, než jaká jsi mi vložil do úst? Hm.

-------

Tvrdil jsi, že predikát je množinou vlastností.

Netvrdil. Řekl jsem, že

"být funkcionálním jazykem" je množina několika různých vlastností

Vidíš tam někde slovo "predikát"? Já ne.

-------

začal jsi tvrdit, že predikát je vlastnost

Netvrdil. Řekl jsem, že

Co je to vlastnost? Já mám za to, že predikát.

-------

Jestli nevidíš rozdíl mezi tím, co jsem napsal, a mezi tím, jak mě interpretuješ, napíšu ti znovu, co už jsem ti psal několikrát: prostě mě neinterpretuj, ale doslovně cituj. A jestli něčemu nerozumíš, tak se zeptej. Jak snadné, Wattsone.

Taky bych tvé pozornosti doporučil fakt, že s ondrama jsme si to vyjasnili velmi rychle. S tebou to nejde. Proč asi?

Citace jsi dostal. Buď je neignoruj nebo nelži.

Tvrdil jsi, že predikát je množinou vlastností.

Cituj presne nebo se omluv.

začal jsi tvrdit, že predikát je vlastnost

Cituj presne nebo se omluv.

"Byt funkcionalnim jazykem" neni mnozina, ale predikat.

Zaprvé jsem nenapsal množina [čehokoli], ale  "množina vlastností". Co je to vlastnost? Já mám za to, že predikát. Souhlas? Podle mě teda vlastně nastoluješ otázku, jestli 1. dává vůbec smysl mluvit o množině predikátů 2. jestli je množina predikátů predikát. Souhlas?

Pokud v obojím souhlasíš, tak ...

Čekám omluvu.

113

/dev/null / Re:Těžké OOP problémy

« kdy: 12. 11. 2019, 14:12:18 »

Čekám omluvu.

Za to, ze si z prstu cucas veci, ktere jsem nikdy nerekl, by ses mel omluvit ty, ne ja.

Máš tam citaci. Nelži.

Takze znovu: cituje presne, nebo se omluv.

Nauč se číst, pak se omluv nebo omluvu vyžaduj po jiných.

114

/dev/null / Re:Těžké OOP problémy

« kdy: 12. 11. 2019, 12:00:18 »

Tvrdil jsi, že predikát je množinou vlastností.

Cituj presne nebo se omluv.

začal jsi tvrdit, že predikát je vlastnost

Cituj presne nebo se omluv.

"Byt funkcionalnim jazykem" neni mnozina, ale predikat.

Zaprvé jsem nenapsal množina [čehokoli], ale  "množina vlastností". Co je to vlastnost? Já mám za to, že predikát. Souhlas? Podle mě teda vlastně nastoluješ otázku, jestli 1. dává vůbec smysl mluvit o množině predikátů 2. jestli je množina predikátů predikát. Souhlas?

Pokud v obojím souhlasíš, tak ...

Čekám omluvu.

115

/dev/null / Re:Těžké OOP problémy

« kdy: 12. 11. 2019, 11:45:32 »

Jasně, mohl bych to přepsat do formule, ale nemám chuť pálit čas na někom, kdo neumí číst a důkazy chce výhradně po ostatních. Sorry.

BTW, budu velkorysy a prehlidnu to, ze jsi rekl, ze jsem neco tvrdil, zatimco ted rikas, ze to vyplyva z toho, co jsem rekl. To je docela brutalni manipulace, ale nechme to byt.

Ne, to není manipulace. Je to úplně stejné, jako ten tvůj příklad dole. Když tvrdíš X a Y, tak z toho plyne, že tvrdíš Z. Nebo snad manipuluješ?

Takze jestli ti dobre rozumim, podle tebe z tvrzeni:

A: "být funkcionálním jazykem" je množina několika různých vlastností
B: Co je to vlastnost? Já mám za to, že predikát.

nejak vyplyva

C:  množina predikátů je predikát

Ne, nerozumíš.

Tvrdil jsi, že predikát je množinou vlastností. Na to jsi byl upozorněn a začal jsi tvrdit, že predikát je vlastnost[1] a že tedy je otázkou, zdali je predikát množinou predikátů[2]. Takže potřetí

Buď tvrdíš, že je množina predikátů predikát, nebo je ten tvůj první příspěvek blbost, kterou jsi nepřiznal.

Myslím, že by člověku s elementární znalostí těch pojmů mělo být jasné, že ani [1] ani [2] neplatí.

116

/dev/null / Re:Těžké OOP problémy

« kdy: 12. 11. 2019, 10:32:22 »

To pak jasně vyplývá především odtud

Já tam to vyplývání nevidím. Můžeš mi ho ukázat přesně a podrobně?

Vždyť jsem to udělal.

Buď tvrdíš, že je množina predikátů predikát, nebo je ten tvůj první příspěvek blbost, kterou jsi nepřiznal.

Jasně, mohl bych to přepsat do formule, ale nemám chuť pálit čas na někom, kdo neumí číst a důkazy chce výhradně po ostatních. Sorry.

117

/dev/null / Re:Těžké OOP problémy

« kdy: 12. 11. 2019, 10:17:26 »

S množinami jsi začal ty, načež jsi začal tvrdit, že predikát je množina predikátů.

Přesně cituj nebo se omluv.

(...), protože "být funkcionálním jazykem" je množina několika různých vlastností (...)

A ty tam někde vidíš tvrzení "predikát je množina predikátů"? Fascinující!

To pak jasně vyplývá především odtud

"Byt funkcionalnim jazykem" neni mnozina, ale predikat.

Dobrá připomínka, pojďme si ji teda rozebrat.

Zaprvé jsem nenapsal množina [čehokoli], ale  "množina vlastností". Co je to vlastnost? Já mám za to, že predikát. Souhlas? Podle mě teda vlastně nastoluješ otázku, jestli 1. dává vůbec smysl mluvit o množině predikátů 2. jestli je množina predikátů predikát.

Buď tvrdíš, že je množina predikátů predikát, nebo je ten tvůj první příspěvek blbost, kterou jsi nepřiznal. (A vzhledem k tomu, že se nás tu snažíš přesvědčit o tom, jak ti nedělá problém přiznávat chyby, tak se jeví jako správná ta první část věty.)

Tu omluvu stále nevidím... 

Přesto nevím o žádné, která by splňovala to tvé hloupé tvrzení.

Vzhledem k tomu, že si "moje tvrzení" cucáš z prstu, by tohle mohla být pravda.

A nebo nevíš, co píšeš, což je vzhledem k tomu nahoře pravděpodobnější.

118

/dev/null / Re:Těžké OOP problémy

« kdy: 12. 11. 2019, 09:56:19 »

S množinami jsi začal ty, načež jsi začal tvrdit, že predikát je množina predikátů.

Přesně cituj nebo se omluv.

(...), protože "být funkcionálním jazykem" je množina několika různých vlastností (...)

Čekám tu omluvu.

Profesor Rosický byl jiného názoru.

Mno, profesor Rosický, zřejmě narozdíl od tebe, moc dobře ví, že existují různé definice toho pojmu.

Přesto nevím o žádné, která by splňovala to tvé hloupé tvrzení.

119

/dev/null / Re:Těžké OOP problémy

« kdy: 12. 11. 2019, 09:40:46 »

Jsem tu :-) S tim predikatem jsem to napsal spis jako popichnuti, protoze se vyjadrujes radoby akademickym jazykem a ve vysledku ten odstavec neni moc srozumitelny.

Budu taky. Tu vyhradu neberu, prvorade proto, ze se imho snazis aplikovat pojmy z nejakeho formalismu (predikatova logika?) na prirozeny jazyk. Preskakujes ze sveta semantiky ("vlastnost"), ve kterem jsem se pohyboval, do sveta formalismu ("predikat"). To dost dobre samo o sobe nedava smysl, natoz aplikovano na prirozeny jazyk.

Tak to potom nemá smysl se moc bavit.

Proč tak složitě? Stačí říct, že každá funkce je instance součinového závislostního typu Πx:A.B(x), kde B nezávisí na x. A je to, nepotřebuješ množiny ani kartézský součin

Mnoziny tam potreboval Cikada

S množinami jsi začal ty, načež jsi začal tvrdit, že predikát je množina predikátů.

Proč tak složitě? Stačí říct, že každá funkce je instance součinového závislostního typu Πx:A.B(x), kde B nezávisí na x. A je to, nepotřebuješ množiny ani kartézský součin

Mnoziny tam potreboval Cikada

Ten ani neví, co to množina je

Profesor Rosický byl jiného názoru.

120

/dev/null / Re:Těžké OOP problémy

« kdy: 11. 11. 2019, 22:12:40 »

Ne, všechno by bylo jednodušší, kdyby sis pamatoval, co píšeš, a přestal trollit.

Cili doopravdy nemas zajem mou chybu opravit. Jenom trolis.

Už jsme ji opravovali dva. Dokud nebudeš chápat rozdíl mezi `{a}` a `a`, tak to nemá smysl. Hlavně že si tu s Idrisem honíte trika.