Tópico: Questão que divide os matemáticos

[Eleitor de Mário Oliveira]

Formalismo X Intuicionismo

Uma contraprova de inexistência é aceitável como uma prova de existência?

[Dbohr]

Na Matemática eu não sei. Na Física, o que vale é a observação direta -- ou, pelo menos, no caso do Éter Luminífero, as muitas experiências de resultado nulo que deveriam observá-lo e não conseguiram.

Há quem diga que o que não é estritamente proibido pelas leis físicas obrigatoriamente acontece,  aconteceu, ou acontecerá. Não sei se concordo muito com isso, especialmente com a última parte

[blue pill]

Eu queria entender porque que a desigualdade de bell serve como prova da não-existência de variáveis ocultas ?!?!?!
Como alguma coisa serve pra provar a não-existência de algo ?

[Adriano]

Pesquisei sobre o intuicionismo e achei ótimo, apesar de ser pouca informação que encontrei.

[Dbohr]

Eu queria entender porque que a desigualdade de bell serve como prova da não-existência de variáveis ocultas ?!?!?!
Como alguma coisa serve pra provar a não-existência de algo ?

O paradoxo EPR assumia a localidade da Mecânica Quântica para provar a interpretação Realista. A experiência de Bell demonstrou que temos que afastar a hipótese da localidade, mas não falou nada sobre o Realismo.

Ainda há quem trabalhe com variáveis ocultas não-locais. Se vão ter sucesso ou não está para se ver.