Preguntas ciencias foundations

Puntuación Visitas Fecha
Imagen de perfil de Leah

32

11Resp
9050Vistas

¿Es la AP consistente? ¿La conocemos?

Resuelta
Preguntado el 27 de Mayo, 2011 por Leah
Etiquetas :
Foto de perfil de Usuario no registrado

1

1Resp
174Vistas

Sobre el número de modelos contables de teorías completas de modelos de ZFC

Resuelta
Preguntado el 17 de Junio, 2014 por Usuario no registrado
Etiquetas :
Imagen de perfil de Will Sargent

1

1Resp
52Vistas

¿Cuál es la relación (y el estado) de los Fundamentos Univalentes y la Teoría de Tipos de Homotopía?

Resuelta
Preguntado el 29 de Septiembre, 2020 por Will Sargent
Etiquetas :
Imagen de perfil de Blake

4

1Resp
152Vistas

¿Existe una versión constructiva de la lógica de Isabelle/HOL?

Resuelta
Preguntado el 29 de Septiembre, 2019 por Blake
Etiquetas :
Foto de perfil de Patrick Stevens

0

1Resp
98Vistas

El axioma K de Streicher pero para la Lista

Resuelta
Preguntado el 31 de Mayo, 2019 por Patrick Stevens
Etiquetas :
Foto de perfil de user7389159

1

2Resp
405Vistas

¿Cuáles son los axiomas permitidos para resolver la Hipótesis de Riemann?

Resuelta
Preguntado el 6 de Noviembre, 2017 por user7389159
Etiquetas :
Imagen de perfil de andy_m

4

1Resp
171Vistas

La existencia de un modelo interno de ZFC implica $Con(ZFC)$ ?

Resuelta
Preguntado el 19 de Marzo, 2018 por andy_m
Etiquetas :
Imagen de perfil de Usuario no registrado

38

6Resp
3677Vistas

¿Razón de la discreción que surge en la mecánica cuántica?

Resuelta
Preguntado el 6 de Octubre, 2012 por Usuario no registrado
Etiquetas :
Foto de perfil de Jon8RFC

7

1Resp
282Vistas

¿Es necesario sustituir el argumento del objeto pequeño?

Resuelta
Preguntado el 4 de Agosto, 2021 por Jon8RFC
Etiquetas :
Foto de perfil de mattbasta

45

5Resp
5275Vistas

Análisis no estándar en la teoría de la probabilidad

Resuelta
Preguntado el 24 de Septiembre, 2012 por mattbasta
Etiquetas :
Imagen de perfil de kereltis

1

1Resp
66Vistas

¿Es la teoría de Grzegorczyk $TC$ interpretable en Robinson Arithmetic $Q$

Resuelta
Preguntado el 27 de Diciembre, 2015 por kereltis
Etiquetas :
Imagen de perfil de Andrew Myhre

11

3Resp
5459Vistas

Aprender las formulaciones e interpretaciones algebraicas de QM

Resuelta
Preguntado el 6 de Septiembre, 2011 por Andrew Myhre
Etiquetas :
Imagen de perfil de Brian Blumberg

2

2Resp
118Vistas

¿Existen premisas matemáticas que no son válidas en otros sistemas matemáticos o formas de pensar?

Resuelta
Preguntado el 25 de Noviembre, 2018 por Brian Blumberg
Etiquetas :
Foto de perfil de goblin

3

2Resp
137Vistas

Ampliación del universo y lógica modal

Resuelta
Preguntado el 5 de Abril, 2014 por goblin
Etiquetas :
Foto de perfil de goblin

1

1Resp
158Vistas

¿Qué matemático ha defendido que debemos pasar del "conjunto" al "orden"?

Resuelta
Preguntado el 31 de Enero, 2014 por goblin
Etiquetas :
Foto de perfil de mkoryak

59

9Resp
7271Vistas

Por dónde empezar con los fundamentos de las matemáticas

Resuelta
Preguntado el 4 de Mayo, 2012 por mkoryak
Etiquetas :
Imagen de perfil de ECollins

3

3Resp
544Vistas

Uniones e intersecciones arbitrarias notación/ayuda a la prueba

Resuelta
Preguntado el 14 de Febrero, 2017 por ECollins
Etiquetas :
Foto de perfil de R Mary

1

1Resp
125Vistas

Si un humano puede demostrar algo, ¿puede un ordenador demostrarlo?

Resuelta
Preguntado el 8 de Noviembre, 2017 por R Mary
Etiquetas :
Imagen de perfil de Usuario no registrado

19

2Resp
701Vistas

¿Qué significa decir que una teoría matemática en particular es un fundamento para las matemáticas?

Resuelta
Preguntado el 20 de Noviembre, 2014 por Usuario no registrado
Etiquetas :
Imagen de perfil de user13

22

0Resp
2671Vistas

¿Son los conjuntos y símbolos los bloques de construcción de las matemáticas?

Abierta
Preguntado el 1 de Junio, 2016 por user13
Etiquetas :
Imagen de perfil de Antpicc

2

1Resp
186Vistas

La demostración en los nuevos fundamentos de Quine

Resuelta
Preguntado el 18 de Febrero, 2018 por Antpicc
Etiquetas :
Foto de perfil de G. H. Hardly

1

1Resp
53Vistas

Resultados de la medición de un sistema "no totalmente descohesionado

Abierta
Preguntado el 7 de Junio, 2020 por G. H. Hardly
Etiquetas :
Imagen de perfil de Sourav Ghosh

4

4Resp
339Vistas

¿Por qué no evitamos la frase "si asumimos AC" y la damos por supuesta?

Resuelta
Preguntado el 14 de Diciembre, 2021 por Sourav Ghosh
Etiquetas :
Imagen de perfil de Valentino

2

1Resp
2305Vistas

Necesito ayuda para entender la definición de número de Frege

Resuelta
Preguntado el 9 de Abril, 2015 por Valentino
Etiquetas :
Foto de perfil de Usuario no registrado

4

3Resp
231Vistas

Perturbar los fundamentos de las matemáticas

Resuelta
Preguntado el 25 de Mayo, 2014 por Usuario no registrado
Etiquetas :
Imagen de perfil de Leafy

5

2Resp
239Vistas

Lista concisa de Axiomas ZFC para principiantes

Resuelta
Preguntado el 28 de Abril, 2020 por Leafy
Etiquetas :
Imagen de perfil de randomguy811

4

2Resp
253Vistas

Fundamentos de las matemáticas - ¿Por dónde empezar?

Resuelta
Preguntado el 7 de Agosto, 2018 por randomguy811
Etiquetas :
Foto de perfil de Colnaghi

3

2Resp
683Vistas

La suposición "ZF es consistente"

Resuelta
Preguntado el 31 de Diciembre, 2017 por Colnaghi
Etiquetas :
Foto de perfil de Nix

2

2Resp
249Vistas

Amplitud de probabilidad relativista de que una partícula esté en una determinada posición

Resuelta
Preguntado el 21 de Julio, 2015 por Nix
Etiquetas :
Imagen de perfil de Michael

2

1Resp
109Vistas

¿Es posible que haya un axioma que aún no hayamos descubierto?

Resuelta
Preguntado el 22 de Febrero, 2020 por Michael
Etiquetas :

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