On considère généralement que les années trente, notamment avec les théorèmes négatifs de Gödel, marquent le début de la crise des formalismes. Un examen plus attentif de cette décennie révèle la diversité et la richesse des interrogations sur le rôle du formalisme tant dans les sciences logico-mathématiques que dans les sciences de la nature.