On the elimination of arithmetical comprehension in proof mining (part 2)
Por Pedro Pinto (Universidade de Lisboa).
Por Pedro Pinto (Universidade de Lisboa).
Por Bernardo San Martin (Universidad Católica del Norte).
Por Pedro Pinto (Universidade de Lisboa).
Por Gilles Lebeau (Université de Nice Sophia-Antipolis).
Por Paolo Pistone (Università Roma Tre).
O que é a dobragem? Só uma série de vincos?
O que é o papel? É bem conhecido. Todos o conhecem.
O que é Matemática? Há quem diga que a conhece, mas realmente não. Há quem não queira confessar, mas realmente sente a Matemática.
Para mim Matemática é um modo de pensar, uma maneira de ver o mundo, um caminho para compreender o universo, uma estrada real para quem quiser compreender.
Por Luca Viganò (King´s College London).
Por Sabine Bögli (Universidade de Munique, Alemanha).
Por Robin Lang (Universidade de Estugarda, Alemanha).