Seminário 05/06/2017 (Pedro)


96
views
2
14 months 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.

 

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

written 14 months 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 14 months ago by Leandro Aurichi  
Obrigado, deu certo!
written 14 months ago by Pedro Pimenta  

Similar posts:
Search »