Gödel, Turing, BPF

 A small and hopefully entertaining and not too impertinent reflection on computability, completeness, coherence and predictability in the dim hope it will cast some light on the fascinating and puzzling fight between the possible and the practicable, that is the BPF kernel subsystem.

Jose MARCHESI