Tous le monde connait bien cette expression : « Faire l'autruche », afin de désigner quelqu'un qui fuit ses problèmes.
Cette expression viendrait du fait que l'autruche enfouirait sa tête dans le sable à l'approche d'un danger.
Toutefois, cette croyance est parfaitement fausse.
En fait, les autruches creusent des nids dans le sable. Puis quand leurs œufs ont besoin d'être retournés, en mettant leur tête dans le nid, on a l'illusion que leur tête est enfouie.
Kurt Gödel est né au début du XXe siècle, en 1906. Autrichien, il est surtout connu pour avoir démontré son théorème d'incomplétude qui énonce que tout système axiomatique ne peut être à la fois cohérent et complet. Pour la faire en français, dans tout système mathématique reposant sur des axiomes(1), il existe une propriété vraie que l'on ne peut démontrer. Son principal travail a été de trouver une propriété énonçant qu'elle n'est pas démontrable. Si elle l'était, elle est fausse et si elle ne l'est pas, elle est vraie.
Ce résultat a stoppé toutes les recherches qui étaient à la mode sur la création de machines qui pourraient, à partir d'axiomes définis, répondre quant à la validité d'un proposition donnée quelconque.
Aha ! Le Malin s'est emparé de vous !
Deux ans après le départ de l'expédition, l'opinion publique s'inquiète du fait qu'aucune nouvelle n'est parvenue de l'Erebus et du Terror. Sous la pression de Lady Jane Franklin, des parlementaires et de la presse écrite, l'Amirauté organise une opération de sauvetage en trois parties en 1848 : deux expéditions maritimes (une passant par le détroit de Lancaster précédemment emprunté par Franklin, une passant par l'océan Pacifique) et une expédition terrestre remontant le fleuve Mackenzie. Elle offre également une récompense de
20 000 livres à tout navire, britannique ou étranger, pouvant prêter assistance au navire de Franklin.
Les expéditions de recherche furent des échecs, et ce malgré la participation d'hommes extrêmement expérimentés. James Ross(2), grand explorateur polaire, fut l'un des premiers à demander une opération de recherche et se porta volontaire pour diriger l'expédition passant par le détroit de Lancaster. L'expédition terrestre, dirigée par deux explorateurs célèbres, John Rae et Sir John Richardson, ne trouve également aucune trace de Franklin.