Archiv Ladislava Hejdánka | Kartotéka
Zde najdete digitalizovanou podobu Hejdánkovy originální kartotéky. Její celkový objem čítá mnoho tisíc lístků. Zveřejňujeme je po částech, jak je zvládáme zpracovávat. V tuto chvíli máme zpracované to, co prof. Hejdánek sám vypracoval elektronicky. Zbývá ovšem mnoho práce na papírových kartičkách. Kromě Hejdánkových výpisků z četby obsahuje kartotéka také jeho vlastní myšlenkovou práci z posledních let, kterou nejde dohledat jinde.
Nekonečno a skutečnost
Ladislav Hejdánek
(2012)
Že má matematika své „vnitřní“ problémy s „nekonečnem“ (a s „nulou“), je známo už velmi dávno. Proto je kupodivu, že třeba mezi astrofyziky najdeme řadu vědců, kteří se pokoušejí uplatnit myšlenku „věčnosti“, tj. nekonečnosti v čase (a nejspíš i prostoru, neboť jde přece o „časoprostor“!) na Vesmír jako „celek“. Kdyby však bylo nějaké „nekonečno“ možné ve skutečnosti (v „realitě), proč by pak bylo tolik potíží s „nekonečnem“ v matematice? Je zvláštní, že třeba i takový pedant a redukcionista jako Weinberg se omezuje pouze na konstatování, že „na základě čistě spekulativním nelze tvrdit“, že vesmír nemá konečný věk. Vždyť samo pojetí „nekonečna“ je konstruktem spekulace ! Problémem přece není vztah empirie a spekulace, ale to, že bez jakékoli spekulace nelze žádnou „empirii“ jako důkaz použít! I kdyby se prokázalo, že „náš“ Vesmír je pouze jeden z mnohých, otázka „počátku“ (nebo „nevzniklosti“) zůstává. Připusťme mnohost „mini-vesmírů“ – otázka, zda můžeme legitimně předpokládat nekonečnost (prostoročasovou) nějakého super-vesmíru (nebo mega-vesmíru) je tu nadále, jen je o něco posunuta. Sám bych vždycky trval na ireálnosti každého „nekonečna“ (i každé „nuly“ – nula „v realitě“ znamená, že vše „reálné“ je anulováno, tedy popřeno).
(Písek, 120712-1.)
vznik lístku: červenec 2012
Množina
Jan Štěpán
(1998)
množina libovolný soubor libovolných vzájemně odlišitelných objektů (prvků m.) uvažovaný jako jeden celek. Na rozdíl od ↑třídy nemusí jít o objekty homogenní (splnující současně nějakou vlastnost). M. je vymezena, lze-li zjistit, zda libovolně zvolený objekt je či není jejím prvkem. Pojem m. lze korektně definovat pouze axiomaticky.
(Filosofický slovník, Naklad. Olomouc, Olomouc 21998, str. 271.)
vznik lístku: prosinec 2000
Symbol
Jan Štěpán
(1998)
symbol jazykový znak, příp. více znaků (↑znak 1), který vedle tvarové charakteristiky má i významovou charakteristiku (↑význam), tj. něco označuje (↑denotát) a něco vyjadřuje (↑smysl); s. jako součást nějakého ↑jazyka je zpravidla spojován s jazyky formalizovanými.
(Filosofický slovník, Naklad. Olomouc, Olomouc 21998, str. 392.)
vznik lístku: prosinec 2000