[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 489: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 385: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/bbcode.php on line 385: preg_replace(): The /e modifier is no longer supported, use preg_replace_callback instead
[phpBB Debug] PHP Warning: in file [ROOT]/includes/functions.php on line 4787: Cannot modify header information - headers already sent by (output started at [ROOT]/includes/functions.php:3887)
[phpBB Debug] PHP Warning: in file [ROOT]/includes/functions.php on line 4789: Cannot modify header information - headers already sent by (output started at [ROOT]/includes/functions.php:3887)
[phpBB Debug] PHP Warning: in file [ROOT]/includes/functions.php on line 4790: Cannot modify header information - headers already sent by (output started at [ROOT]/includes/functions.php:3887)
[phpBB Debug] PHP Warning: in file [ROOT]/includes/functions.php on line 4791: Cannot modify header information - headers already sent by (output started at [ROOT]/includes/functions.php:3887)
UBA - CienciaS • Ver Tema - Duda sobre axioma de completitud y Q
UBACS Q&A Foro WikiCS
Fecha actual 04 Nov 2024, 09:07

Todos los horarios son UTC - 3 horas




 Página 1 de 1 [ 4 mensajes ] 
Autor Mensaje
 Asunto: Duda sobre axioma de completitud y Q
NotaPublicado: 03 Sep 2010, 14:18 
Profesor
Avatar de Usuario

Registrado: 26 Abr 2009, 20:28
Mensajes: 224
Ubicación: Colegiales, Capital Federal
Hola!

Estamos definiendo axiomáticamente los reales (bajón, yo quería algo tipo Dedekind o Cantor :(). Hace unas clases, vimos un ejemplo de como no satisface la completitud, en particular era . Acá, "mostró" que, con solo los axiomas de cuerpo ordenado, no existe un supremo para este conjunto. O sea, dice , pero podría decir ordenado.

Ahora, luego, introdujo el axioma de completitud. Oh sorpresa, ahora se puede probar que si cumple ese axioma, entonces ese conjunto si tiene supremo. Mi pregunta es, esto no implica un error en la demostración anterior?

O sea, ahora nos dieron más información - cumple una propiedad más. Pero si agarramos la demostración que usamos para cuando no tenía esta propiedad, debería seguir valiendo, si no habíamos mentido antes! O sea, si me dicen "Asumí que tenés 6 manzanas. Probame que podés comer 3.", yo lo pruebo, y luego me dicen "Ahá! Pero ahora, China es comunista. Tu prueba anterior dejó de valer."
Yo en ningún lado usé la no-comunistidad (...comunión?) de China en mi demostración de las manzanas, porque no sabía si China era o no comunista, y ahora al agregar ese axioma (que, a priori, no es contradictorio con los anteriores), mi demostración deja de valer?

Gracias por cualquier aclaración :)



_________________
Por qué los poetas usan integrales?
Desconectado
 Perfil  
 
 Asunto: Re: Duda sobre axioma de completitud y Q
NotaPublicado: 03 Sep 2010, 23:44 
1er Licenciado
Avatar de Usuario

Registrado: 05 Jul 2008, 14:02
Mensajes: 1166
Fijate como es la demostracion de que el conjunto que pusiste no tiene supremo, casi seguro que tenes que usar que no existe la raiz cuadrada de 2. Pero cuando agregas completitud eso
deja de ser cierto...



_________________
Quimey
Desconectado
 Perfil  
 
 Asunto: Re: Duda sobre axioma de completitud y Q
NotaPublicado: 04 Sep 2010, 14:22 
Profesor
Avatar de Usuario

Registrado: 26 Abr 2009, 20:28
Mensajes: 224
Ubicación: Colegiales, Capital Federal
Si, probablemente la demostración de eso solo valía para .
Gracias :)



_________________
Por qué los poetas usan integrales?
Desconectado
 Perfil  
 
Mostrar mensajes previos:  Ordenar por  
 Página 1 de 1 [ 4 mensajes ] 

Todos los horarios son UTC - 3 horas


¿Quién está conectado?

Usuarios navegando por este Foro: No hay usuarios registrados visitando el Foro y 1 invitado


No puede abrir nuevos temas en este Foro
No puede responder a temas en este Foro
No puede editar sus mensajes en este Foro
No puede borrar sus mensajes en este Foro
No puede enviar adjuntos en este Foro

Buscar:
Saltar a:  

cron