Respuestas del usuario 119986

Puntuación Visitas Fecha
Avatar de ManuelSchneid3r

2 votos

¿Son equivalentes estas dos versiones de Lowenheim-Skolem?

Aceptada
Respondido el 10 de Mayo, 2017 por ManuelSchneid3r
q2astack::content.general.tags :
Avatar de ManuelSchneid3r

3 votos

$\sf K$ -prueba de $(\Box p \land \Diamond q) \rightarrow \Diamond (p\land q)$

Aceptada
Respondido el 26 de Marzo, 2018 por ManuelSchneid3r
q2astack::content.general.tags :
Avatar de ManuelSchneid3r

1 votos

Demostrar que si A es contable, entonces también lo es $cl_f(A)$ .

Respondido el 31 de Enero, 2018 por ManuelSchneid3r
q2astack::content.general.tags :
Avatar de ManuelSchneid3r

7 votos

Sobre un modelo explícito para $\mathbf Q$ con la negación del axioma de inducción

Aceptada
Respondido el 19 de Octubre, 2019 por ManuelSchneid3r
q2astack::content.general.tags :
Avatar de ManuelSchneid3r

3 votos

Formulación de la potencia construible en términos de operaciones de Gödel; Pasando por la metateoría

Respondido el 23 de Abril, 2020 por ManuelSchneid3r
q2astack::content.general.tags :
Avatar de ManuelSchneid3r

4 votos

¿Es posible demostrar que existen infinitos números primos sin recurrir al teorema fundamental de la aritmética?

Respondido el 10 de Enero, 2017 por ManuelSchneid3r
q2astack::content.general.tags :
Avatar de ManuelSchneid3r

4 votos

¿Existe un lenguaje formal capaz de expresar cualquier demostración matemática sin recurrir a dibujos ni a sentencias en lenguaje natural?

Aceptada
Respondido el 9 de Mayo, 2018 por ManuelSchneid3r
q2astack::content.general.tags :
Avatar de ManuelSchneid3r

3 votos

Un idioma $\mathcal{L}$ con $n$ las proposiciones atómicas pueden expresar $2^{2^n}$ proposiciones no equivalentes

Respondido el 9 de Mayo, 2022 por ManuelSchneid3r
q2astack::content.general.tags :
Avatar de ManuelSchneid3r

7 votos

El modelo vacío no satisface ni una frase ni su negación.

Respondido el 5 de Septiembre, 2021 por ManuelSchneid3r
q2astack::content.general.tags :
Avatar de ManuelSchneid3r

3 votos

No axiomatisabilidad y ultraproductos

Respondido el 5 de Marzo, 2020 por ManuelSchneid3r
q2astack::content.general.tags :
Avatar de ManuelSchneid3r

3 votos

Demuestre que el teorema de la compacidad no se aplica a la lógica infinita

Respondido el 19 de Abril, 2021 por ManuelSchneid3r
q2astack::content.general.tags :
Avatar de ManuelSchneid3r

2 votos

¿Por qué $x=2 \implies (x-2)(x-3)=0$ ¿Falso?

Aceptada
Respondido el 23 de Diciembre, 2015 por ManuelSchneid3r
q2astack::content.general.tags :
Avatar de ManuelSchneid3r

4 votos

Petición de referencia: ¿dónde está escrito explícitamente que las paradojas de principios del siglo XX se superaron en las matemáticas actuales?

Respondido el 18 de Noviembre, 2018 por ManuelSchneid3r
q2astack::content.general.tags :
Avatar de ManuelSchneid3r

2 votos

Ejemplos de funciones que no pertenecen a ninguna clase Baire

Aceptada
Respondido el 22 de Septiembre, 2016 por ManuelSchneid3r
q2astack::content.general.tags :
Avatar de ManuelSchneid3r

2 votos

¿Cuál es la propiedad de todos los círculos que hace que sus circunferencias divididas por sus diámetros sean iguales al mismo número pi?

Respondido el 25 de Septiembre, 2016 por ManuelSchneid3r
q2astack::content.general.tags :
Avatar de ManuelSchneid3r

1 votos

Demuestra que EXT,TOT e INF no son enumerables recursivamente

Respondido el 24 de Diciembre, 2018 por ManuelSchneid3r
q2astack::content.general.tags :
Avatar de ManuelSchneid3r

2 votos

Transformaciones lógicas de teoremas

Respondido el 22 de Enero, 2021 por ManuelSchneid3r
q2astack::content.general.tags :
Avatar de ManuelSchneid3r

9 votos

¿Por qué un modelo de clase no puede servir de testigo de la coherencia de una teoría?

Respondido el 22 de Septiembre, 2022 por ManuelSchneid3r
q2astack::content.general.tags :
Avatar de ManuelSchneid3r

2 votos

¿Significan lo mismo "afirmar" y "demostrar"?

Aceptada
Respondido el 15 de Febrero, 2020 por ManuelSchneid3r
q2astack::content.general.tags :
Avatar de ManuelSchneid3r

4 votos

Cualquier oráculo de parada no estándar más fuerte que $\mathbb N$ ?

Aceptada
Respondido el 20 de Marzo, 2018 por ManuelSchneid3r
q2astack::content.general.tags :
Avatar de ManuelSchneid3r

5 votos

¿Qué es un esquema axiomático?

Aceptada
Respondido el 25 de Marzo, 2020 por ManuelSchneid3r
q2astack::content.general.tags :
Avatar de ManuelSchneid3r

1 votos

¿Pueden las definiciones de Operadores y Relaciones dar lugar a Contradicciones?

Respondido el 27 de Mayo, 2018 por ManuelSchneid3r
q2astack::content.general.tags :
Avatar de ManuelSchneid3r

1 votos

Intentando comprender las reglas de inferencia del Cálculo Secuencial para cuantificadores $\forall$ y $\exists$ .

Respondido el 22 de Noviembre, 2021 por ManuelSchneid3r
q2astack::content.general.tags :
Avatar de ManuelSchneid3r

4 votos

Demuestre que $\aleph_{\alpha}^{\aleph_{1}} = \aleph_{\alpha}^{\aleph_{0}}\cdot 2^{\aleph_1}$

Respondido el 29 de Enero, 2018 por ManuelSchneid3r
q2astack::content.general.tags :
Avatar de ManuelSchneid3r

4 votos

¿Dónde puedo encontrar una prueba de que el análisis no estándar es una extensión conservadora del análisis estándar?

Aceptada
Respondido el 16 de Diciembre, 2018 por ManuelSchneid3r
q2astack::content.general.tags :
Avatar de ManuelSchneid3r

0 votos

Prueba de que el espacio vectorial es simple sobre el conjunto de todos los endorfismos

Respondido el 7 de Enero, 2017 por ManuelSchneid3r
q2astack::content.general.tags :
Avatar de ManuelSchneid3r

4 votos

¿Existe una teoría completa que no sea $\kappa$ categórico para cualquier $\kappa$ ?

Respondido el 13 de Septiembre, 2018 por ManuelSchneid3r
q2astack::content.general.tags :
Avatar de ManuelSchneid3r

1 votos

Prueba $[0, 1]$ y $(0, 1]$ son equinuméricos mediante el uso de la biyección

Respondido el 11 de Octubre, 2016 por ManuelSchneid3r
q2astack::content.general.tags :
Avatar de ManuelSchneid3r

3 votos

¿Hay problemas que no pueden resolverse sin un cambio de perspectiva?

Aceptada
Respondido el 21 de Noviembre, 2019 por ManuelSchneid3r
q2astack::content.general.tags :
Avatar de ManuelSchneid3r

1 votos

Cuantificación sobre el conjunto(?) de predicados

Respondido el 4 de Abril, 2016 por ManuelSchneid3r
q2astack::content.general.tags :

Etiquetas mas usadas

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

Yandex
X