Seminário 05/06/2017 (Pedro)


62
views
2
10 weeks ago by

Uma introdução a definibilidade e o Universo \(L\)

s. 3-104 19h

 

Este seminário consiste em introduzir a ideia de definibilidade e estabelecer o universo construtível de Gödel \(L\). Começaremos no contexto da lógica matemática e teoria de modelos, mostrando o papel deste conceito na demonstração da Incompletude. Veremos, em seguida, como isso se aplica à teoria dos conjuntos para definir \(L\). Por fim, enunciaremos algumas propriedades deste universo e citaremos algumas aplicações.

 

add commentfollow this post modified 9 weeks ago by Pedro Pimenta   • written 10 weeks ago by Leandro Aurichi  
1

File attached: Semin_rios___Topologia_do_Interior (3).pdf (611.49 KB)

 

Segue em anexo o PDF da minha apresentação, o qual também contém anotações de apresentações anteriores, o que pode sanar algumas das dúvidas, inclusive as que foram levantadas durante a apresentação. Segue também o link para a resposta no MO sobre definibilidade que bastante interessante e elucidativa:

 

https://mathoverflow.net/questions/44102/is-the-analysis-as-taught-in-universities-in-fact-the-analysis-of-definable-numb/44129#44129

modified 9 weeks ago by Pedro Pimenta   • written 9 weeks ago by Pedro Pimenta  
1

Um "truque" para colocar anexos é tentar editar o enunciado original (eu consigo fazer isso, não sei se vocês podem... Podem?). Foi o que eu fiz na resposta do Luan numa outra discussão para colocar uma imagem.

written 9 weeks ago by Leandro Aurichi  
Obrigado, deu certo!
written 9 weeks ago by Pedro Pimenta  

Share this question


Similar posts:
Search »