Tu
Monika (Monitoring Berkala)
pre tým VERONICA
Veronica may refer to any of the following:
1. Short for Very Easy Rodent-Oriented Net-wide Index to Computer Archives, Veronica is a search tool used in Gopher.
https://www.computerhope.com/jargon/v/veronica.htm
To boli časy s Gopherom a českobudějovickou VERONICA-ou
Ešte raz!
Druhá polovica Gödelovho dôkazu tvrdí:
Ak je logika úplná tak nevyhnutne obsahuje aspoň dve platné tvrdenia, ktoré sú vo vzájomnom rozpore.
To nie je žiadne "vykvajzovanie" dôkazov - ide o aspoň dve rôzne a súčasne SPRÁVNE t.j. formálne bezchybné dôkazy, ktoré si však vo výsledku protirečia.
A teraz po lopate:
Ak sa dva ľudia nezhodnú, neznamená to že jeden z nich sa musí mýliť.
Gödelova věta se ovšem vztahuje na formální logiku. K její extrapolaci na reálný svět není žádné opodstatnění. Takže pokud ti dva mluví o reálném světě, těžko mohou tvrdit něco rozporného a mít oba dva pravdu. A pokud tvrdí něco o formální logice, měli by se shodnout na tom, že jejich tvrzení jsou obě pravdivá ale jsou ve vzájemném rozporu.
K editoru o: jako většina podobných programů (bohužel včetně vim) asi
vychází z poměrně neproduktivního předpokladu, že dogmatem je černé
pozadí terminálu. I když lze možná default barvy změnit, pro světlé
pozadí to asi je dosti klopotné. Přitom černé pozadí je dosti neústrojná
"tradice" nemající v terminálech na desktopu (kdo dnes pracuje na
/dev/tt*?) opodstatnění a způsobující zrakový kontrastní šok při střídání
pohledu na terminál a papírovou předlohu, která má velkou většinou pozadí
světlé. Jelikož většina webů má pozadí světlé (stejně jako dost jiných
aplikací a jejich prezentačních programů), neobstojí ani možný argument
o "šetření" monitoru.
Skúšal som používať biely (bledý) terminál, ale nezvykol som si. A to pritom, programy, kde čítam súvislý text mám jednoznačne nastavené na bledé pozadie (prehliadač, epub reader a pod).
Najväčší problém pri bielom pozadí terminálu mi nerobila čitateľnosť (možno bola aj lepšia), ale vyhladávateľnosť informácií farebným zvýraznením. Proste, nech som nastavil akékoľvek farby na zvýraznenie (teda pár ich dosť kontrastných bolo), tak sa buď ťažko odlišovali od farby textu, alebo pozadia, alebo od seba navzájom. A to potom, to zvýraznenie, stráca význam. A, na termináli častejšie informácie vyhľadávam ako čítam súvislý text.
?
- vim prece ma (alespon v zakladnim balicku na ubuntu) asi tak 15 barvenych schemat, a alespon nektera jsou svetla, a pritom kvalitni.
- nekteri lide nemaji potrebu koukat stridave do terminalu a do papiru. ja treba semtam koukam do pdf, a diky okularu si klasickou bilou barvu pozadi menim na sedou
- i barvy webovych stranek se daji menit, napriklad dark reader pro chrome a derivaty