Él hizo. El mismo dispositivo que ahora usa para publicar en quora no habría existido sin “Von Neumann Architecture” para abrir la informática personal. Han pasado muchos años desde las primeras PC, pero sin la “Arquitectura Von Neumann” no habría industria de la computación. Su arquitectura también era conocida como “Arquitectura de Princeton” en contraste con la “Arquitectura de Harvard”.
Las computadoras de hoy son híbridos de ambas arquitecturas en la misma caja. Sin la Arquitectura de Von Neuman y la ‘Teoría de la información’ de Shannon, no tendríamos computadoras.
Además de su diseño visionario de arquitectura informática, Von Neumann también trabajó con Bernays y Godel en una contribución fundamental a las matemáticas en sí. ¿Has oído hablar de la “teoría de conjuntos de von Neumann-Bernays-Godel” (también conocida como teoría de conjuntos de NBG)?
En primer lugar, los conjuntos son colecciones de objetos matemáticos que en sí mismos son objetos matemáticos. La teoría de conjuntos es importante porque es una teoría de enteros, números reales, modelos de sistemas de axiomas, ordinales infinitos, todo en una estructura unificada. Los conjuntos entran en juego cuando quieres hablar sobre conjuntos infinitos. Conjuntos infinitos recogen infinitos objetos en una colección. El conjunto de números naturales, el conjunto de conjuntos finitos de conjuntos de conjuntos de números naturales, el conjunto de conjuntos de conjuntos de conjuntos de conjuntos de conjuntos de números irracionales, etc. Una vez que establece que los objetos matemáticos se pueden recopilar en otros objetos matemáticos puede comenzar a analizar su estructura … esto se puede transferir inmediatamente a “Big Data Computing”.
- ¿Qué es [matemáticas] \ lim_ {x \ to \ infty} \ frac {\ sin x} {x} [/ matemáticas]?
- ¿Por qué los matemáticos escriben ‘For let’ en algunas pruebas?
- ¿Qué experto en matemáticas en Quora es el mejor en matemáticas?
- Cómo saber que soy mejor matemático aplicado o matemático puro en los años de graduación
- ¿Los matemáticos puros serán eventualmente reemplazados por IA?
En segundo lugar, la teoría de conjuntos axiomáticos se ocupa de los axiomas adicionales que podemos requerir que tenga un ‘universo teórico de conjuntos’ y cómo afectan a la estructura de conjuntos infinitos. Esta es la importancia de la teoría de conjuntos para la investigación y el análisis matemático. Se trata de resolver la existencia de, o ayudar a nuestra capacidad de derivar qué tipo de suposiciones necesitamos para probar, o refutar, la existencia de ciertos objetos matemáticos.
La idea de la teoría de conjuntos es convertir las predicciones lógicas, como “x es menor que 100 yx es mayor que 1”, en objetos que pueden ser manipulados por buenas reglas formales. Esto se transfiere directamente a “computabilidad”. La teoría de conjuntos de BNG fue la primera revisión importante de la teoría de conjuntos en 50 años; y extendió el trabajo de Ernst Zermelo, la teoría de conjuntos axiomáticos ZFC de Abraham Frankel. En la teoría de conjuntos NBG, la elección global no agrega ninguna consecuencia sobre conjuntos más allá de lo que podría haberse deducido del axioma ordinario de elección. La elección global es una consecuencia del axioma de limitación de tamaño. La teoría de conjuntos es esencial para comprender el aprendizaje automático en relación con la computabilidad y las series infinitas.
Si queremos diseñar sistemas, o sistemas de sistemas, que funcionen en el mundo real, deben tener un buen conocimiento de ese mundo y poder deducir algorítmicamente inferencias de ese conocimiento. El conocimiento común que posee cualquier niño y los métodos que un niño usa para derivar inferencias del conocimiento derivado algorítmicamente generalmente se entiende como “sentido común”. Cualquier tarea * inteligente * requiere hasta cierto punto “sentido común” y el diseño de sistemas de programas de computadora con “sentido común” es uno de los problemas más importantes que enfrentamos al desarrollar algoritmos de inteligencia artificial. Pero, ¿cómo dibujamos una cerca alrededor del “sentido común” y lo definimos como un “conjunto” de ordinales?
Alrededor del tiempo en que von Neumann, Bernays y Godel estaban trabajando en su teoría de conjuntos, muchos matemáticos afirmaron que la primera tarea en la construcción de un * programa de computadora inteligente * es definir una visión ingenua del “sentido común” del mundo con suficiente precisión , pero también agrega que esto es algo muy difícil (establecer un conjunto finito de objetos que representan el “sentido común”). Además, el pensamiento común de grupo de esa época era “un programa tiene sentido común si deduce automáticamente por sí mismo una clase suficientemente amplia de consecuencias inmediatas de todo lo que se le dice y lo que ya sabe”. Esta fue una afirmación dudosa porque no había medios coherentes para definir un conjunto finito de objetos para representar un tema específico; en otras palabras, no había suficientes técnicas de abstracción de la teoría de conjuntos (ZFC), hasta NBG, el “sentido común” requería un conocimiento completo del universo antes de dibujar una cerca. un dominio específico y llamándolo “sentido común”.
NBG permitió la abstracción de algoritmos para resolver problemas complejos sin que cada algoritmo requiriera una delineación completa del universo antes de la conputación. En los cades desde NBG, han surgido nuevas teorías de conjuntos axiomáticos para permitir resolver problemas de conjuntos esotéricos que no podrían concebirse sin la capacidad de probar tales teorías con computadoras.
De hecho, las contribuciones de Von Neumann a la base misma de las matemáticas, tal como la conocemos actualmente, cambiaron el mundo y marcaron el comienzo de nuevos desafíos para el trabajo de zermelo y Frankel.
Es difícil mirar nuestro mundo moderno sin contemplar una tecnología que carece del ADN de John von Neumann. Computadoras, redes, economía, teoría de juegos, mecánica de detonación nuclear … la presencia de von Neumann se siente en todos lados.