16. 3. 2021 7:57
To s tou lambdou je skutečně pravda? jinak ať je to jak chce, po estetické stránce je to nejhezší písmeno, takže si nakonec vybral moc dobře :-)
16. 3. 2021 11:54
Je to pravda, stačí se podívat do starých článků, ona se celá notace dost lišila, třeba kvantifikátory nebo operátor iota.