A jornada de 50 anos da teoria da complexidade até os limites do conhecimento
Na década de 1920, David Hilbert (à esquerda) queria colocar a matemática em bases mais sólidas. Kurt Gödel (centro) e Alan Turing mostraram mais tarde que o sonho de Hilbert era impossível. #Matemática Quão difícil é provar que os problemas são difíceis de resolver? Os teóricos da metacomplexidade têm feito perguntas como essa há décadas. …
Continue lendo “A jornada de 50 anos da teoria da complexidade até os limites do conhecimento”