Seminário 05/06/2017 (Pedro)


41
views
2
21 days 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 12 days ago by Pedro Pimenta   • written 21 days 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 12 days ago by Pedro Pimenta   • written 12 days 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 12 days ago by Leandro Aurichi  
Obrigado, deu certo!
written 12 days ago by Pedro Pimenta  

Share this question


Similar posts:
Search »