
Sign up to save your podcasts
Or


El Profesor Florencio González Asenjo, catedrático de matemática de la Universidad de Pittsburgh, imparte la cuarta y última conferencia del ciclo titulado “Cuestiones de metamatemática”. En su última charla, el profesor estudió las relaciones entre la metamatemática y la teoría de modelos, y discutió la paradoja de Skolem y las nociones relativamente recientes de conjunto genérico y condición forzante.
El Profesor Florencio González Asenjo, catedrático de matemática de la Universidad de Pittsburgh, imparte la tercera conferencia del ciclo titulado “Cuestiones de metamatemática”. En este aspecto, se hizo referencia a la mecanización de la matemática (el célebre sueño de Leibniz) y al teorema de Church, y describió algunos ejemplos de sistemas decidibles e indecidibles, así como a las máquinas de Turing y los algoritmos de Markoc y Kolmogorov.
El Profesor Florencio González Asenjo, catedrático de matemática de la Universidad de Pittsburgh, imparte la segunda conferencia del ciclo titulado “Cuestiones de metamatemática”. Durante la conferencia el profesor describió y discutió el programa de Hilbert y su estado actual y señaló los principales éxitos de la Matemática de Hilbert.
El Profesor Florencio González Asenjo, catedrático de matemática de la Universidad de Pittsburgh, imparte la primera conferencia del ciclo titulado “Cuestiones de metamatemática”. La teoría de la demostración de sistemas lógicos matemáticos busca demostrar que los sistemas matemáticos carecen de contradicciones. Pronto se vio que esta teoría no podía llevar a cabo sus objetivos, y fueron surgiendo concepciones alternativas más liberales, que recurren a métodos no puramente finitistas.
El Profesor José Luis Sampedro imparte la cuarta y última conferencia del ciclo titulado “La economía mundial en el umbral del siglo XXI". La conferencia habla sobre las resoluciones acordadas y las propuestas para un nuevo orden de la Conferencia Norte-Sur sobre la Cooperación Económica Internacional, en la que participan 27 países, incluída España.
From the publisher's feed

66 Listeners

120 Listeners

80 Listeners

118 Listeners

70 Listeners

112 Listeners

43 Listeners

30 Listeners

236 Listeners

182 Listeners

24 Listeners

2 Listeners

1 Listeners

6 Listeners

5 Listeners

3 Listeners

3 Listeners

0 Listeners

10 Listeners

38 Listeners

12 Listeners

1 Listeners

4 Listeners