Dogmas anticientíficos en física, matemáticas y programación
El conocimiento científico solo tiene valor cuando se basa en observaciones y permite predecir fenómenos naturales. La utilidad es el rasgo distintivo clave de la ciencia—lo que la diferencia de la especulación filosófica. En física, matemáticas y programación, ha surgido un número creciente de dogmas que contradicen este principio, frenando el progreso.
El autor, físico por formación y programador por pasión, destaca: creencias absurdas no son solo inútiles—son dañinas. Surgieron por sesgos históricos, intereses comerciales y la inercia comunitaria.
Dogmatismo en física
La física estudia la naturaleza en toda su complejidad—desde partículas elementales hasta interacciones sociales. Los modelos se construyen sobre mediciones y se prueban estadísticamente. Las hipótesis son aceptables cuando los datos escasean, pero nunca deben convertirse en verdades incuestionables.
Los problemas empiezan cuando hipótesis exitosas se declaran 'divinas'. La interpretación de Copenhague de la mecánica cuántica afirma una incompatibilidad con la física clásica sin justificación sólida. La Relatividad General contradice ciertos experimentos pero sigue dominando por su 'elegancia matemática'.
La comunidad científica muestra resistencia al cambio: interpretaciones alternativas de la mecánica cuántica rara vez se publican, y criticar la Relatividad General puede arriesgar la carrera. Las políticas editoriales de revistas, los medios sensacionalistas y las becas para temas especulativos como la teoría de cuerdas refuerzan estos dogmas.
Muchas 'teorías del universo' descansan en ideas sin fundamento experimental. Las discrepancias con los datos se ocultan con soluciones improvisadas. Esto apunta a la falta de una teoría fundamental—el dogma prematuro es anti-científico.
Matemáticas: estética frente a constructividad
Las matemáticas suelen llamarse la 'reina de las ciencias', destacando la belleza interna sobre la aplicación práctica. La mayoría de los libros de texto evitan la utilidad real, centrándose en la abstracción. Esto disminuye su valor como herramienta científica.
La división central está entre matemáticas constructivas (intuicionistas) y matemáticas clásicas. En las matemáticas constructivas, una prueba debe proporcionar un algoritmo que construya evidencia de verdad. Se rechazan el Axioma de Elección y la Ley del Tercio Excluido.
Ejemplo:
- Enunciado: 'Todos los gatitos que he visto son lindos.'
- No constructivo: 'Podría existir algún gatito desamado' (inútil).
- Constructivo: Proporcionar un gatito específico 'espantoso'.
Los métodos no constructivos ofrecen intuición, pero solo las conclusiones constructivas tienen valor científico. Forman la base de la programación.
Programación como disciplina experimental
La programación resuelve problemas del mundo real—más cercana a la física que a las matemáticas abstractas. Sin embargo, muchos desarrolladores no la ven como ciencia, confiando en 'buenas prácticas' sin cuestionarlas.
Los dogmas anticientíficos surgen del marketing: acrónimos como SOLID, promoción corporativa del OOP (por ejemplo, Java). Las ideas se difunden no porque funcionen, sino porque están hypeadas. Resultado: código heredado pesado, educación reestructurada y mercado laboral distorsionado.
- Marketing frente a ciencia: libros y conferencias promueven técnicas dudosas.
- Consecuencias: bases de código saturadas de redundancia; desarrolladores pierden tiempo en 'estándares' en lugar de eficiencia.
- Solución: evaluar técnicas según beneficios medibles—rendimiento, mantenibilidad, costo de mantenimiento.
La programación exige experimentación: mide, modela, descarta lo que no funciona.
Lo que realmente importa
- La utilidad es el criterio universal de validez científica: el conocimiento debe predecir y mejorar el mundo real.
- Los dogmas en física (Relatividad General, interpretación de Copenhague) frenan el progreso por inercia comunitaria.
- Las matemáticas constructivas ofrecen pruebas algorítmicas—esenciales para programación confiable.
- En TI, los dogmas impulsados por el marketing generan código heredado; la prueba empírica de técnicas es esencial.
- El progreso requiere escepticismo hacia la autoridad y enfoque en la experimentación.
— Editorial Team
Aún no hay comentarios.