[isabelle-dev] Software and Pyramids

Christian Urban christian.urban at kcl.ac.uk
Sat Apr 27 15:59:01 CEST 2013

Totally agree. Considering the tools they had available, they are
geniuses in my book. But there *is* a parallel with the workers who
build the pyramids. Although free, their skeletal remains clearly 
show a life of hard labour and misery. Wished Isabelle developers 
somehow had moved on from that. ;o)


On Saturday, April 27, 2013 at 15:31:23 (+0200), Florian Haftmann wrote:
 > http://isabelle.in.tum.de/reports/Isabelle/rev/8e0a1d0a41ff
 > This quotation is not very fair towards the Egyptian pyramids.  It is
 > ignorant of contemporary historians' suppositions that »just« a few
 > thousand (personally free) workers had been working on a single pyramid,
 > does not justice to the logistic challenge of managing such a big
 > construction set, and neglects the considerable development and
 > improvement of pyramid construction within a few generations.
 > 	Florian
 > -- 
 > PGP available:
 > http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
 > xapplication/pgp-signature [Press RETURN to save to a file]
 > ----------------------------------------------------------------------
 > _______________________________________________
 > isabelle-dev mailing list
 > isabelle-dev at in.tum.de
 > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev


More information about the isabelle-dev mailing list