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.
Robert Musil
(1913)
… S výjimkou trochy ručně vyrobených kusů nábytku, šatů, bot a dětí dostáváme všecko za přispění matematických výpočtů. Celá tato existence, která ubíhá, uhání, rozkládá se kolem nás, není na matematice závislá jenom svou poznatelností, nýbrž efektivně skrze ni vznikla, zakládá na ní svou tak a tak danou existenci. Neboť pionýři matematiky si vytvořili použitelné představy o jistých podkladech, z nichž vznikly závěry, výpočty, výsledky, jichž se zmocnili fyzikové, došli k dalším výsledkům, nakonec přišli i technici,vzali často už pouze rezultáty, začali s novými výpočty a vznikly stroje. A najednou, když už všecko pěkně existovalo, přišli matematici – ti, kdož hloubají uvnitř – na to, že něco v samých základech věci absolutně nehraje; skutečně, podívali se až docela dospod a shledali, že celá stavba visí ve vzduchu. Ale stroje fungovaly! Podle toho se musíme domnívat, že celý náš život je jenom bledý přízrak; žijeme ho, ale vlastně jenom na základě omylu, bez něhož by nebyl vznikl. Není dnes druhé možnosti tak fantastického pocitu, jako je pocit matematikův.
Tento intelektuální skandál snáší matematik vzorně, tj. s důvěrou a hrdý na ztracenou nebezpečnost svého rozumu. Mohl bych připojit ještě další příklady, kde …
(Matematický člověk, in: Eseje, př.Jitka Bodláková, Praha 1998, str. 64.)
vznik lístku: květen 2005
Duns Scotus
(?1266-1308)
[Quaestio 5]Utrum cum scientia Dei stet contigentia rerum
15 Iuxta hoc quinto quaeritur utrum cum scientia Dei stet contingetia rerum.
Quod non, videtur: Sequitur ´Deus scit a fore, igitur a erit´. Antecedens verum necesasarium, igitur consequens. Consenquentia patet, quia oppositum consequentis non stat cum antecedente.16 Praeterea, omne scitum a Deo, necessario erit; sed a fore est scitum a Deo; igitur a necessario erit. Consequentia patet, quia minor est de inesse simpliciter, et ex tali minore cum maiore de necessario, sequitur conclusio de necessario.
17 Sed contrarium omnium istorum2 sribitur ad Hebr. 4: Omnia nuda sunt oculis eius etc.
(De scientia Dei respectu contingentium, in: 8387, Opera Omnia vol. XVII, Lectura I., …. , p. 484.)
vznik lístku: říjen 2003