Logica, matematica ed evoluzione biologica