1.

Introduccin Las Ciencias Matemticas y la Informtica forman un ncleo de actividades cientficas fundamentales para el desarrollo cientfico y econmico-social del pas. Tienen una caracterstica fundamental por ser componentes importantes de la educacin y las actividades de todas las disciplinas cientficas, tanto exactas como naturales y sociales, y tecnolgicas. El crecimiento de la produccin y de los servicios requiere la incorporacin de los conocimientos y mtodos que se desarrollan tanto por la Matemtica Aplicada como la Informtica. Este captulo incluye la seccin sobre Matemtica Aplicada, que se refiere a las investigaciones matemticas vinculadas al desarrollo de otras disciplinas cientficas y tecnolgicas. 2. Objetivos Al aceptar, la primera cuestin que nos planteamos fue cmo presentar las implicaciones y relaciones que existen entre matemticas e informtica? o qu aspectos de esas relaciones exponer? Como respuesta vamos a destacar al concepto de ``clculo" o ``cmputo" como la relacin fundamental entre matemtica e informtica. Rescatar esta relacin no es tarea facil en un momento como el actual, en el que todo el mundo usa la informtica apoyndose en una mquina misteriosa (mgica caja negra), pero en la que, en su empleo, no se percibe directamente la presencia de las matemticas, y en la que su nombre ``ordenador" (ejecuta ordenes) oculta su origen, de forma diferente a como lo dejaba patente en las pocas en las que se llamaba ``computadora" (realiza cmputos o clculos). En efecto, considerada como mquina de utilidad general, est muy extendido el uso directo, por gran nmero de personas, de los procesadores de texto, que se comportan como mquinas de escribir sofisticadas y que ayudan al almacenamiento y archivo de los documentos as generados. Tambien es cada vez ms comn el uso del correo electrnico (como un hbrido entre la mquina de escribir y el telfono), y de otras aplicaciones de Internet que, aunque potentes y misteriosas, tampoco se vinculan directamente con las matemticas. Tambin en las distintas profesiones se utilizan, cada vez ms y ms, los ordenadores y las aplicaciones informticas; pero estas aplicaciones solo en profesiones muy especificas utilizan explcitamente el clculo numrico, la estadstica y otras funcionalidades matemticas. En la mayor parte de las profesiones se utilizan aplicaciones orientadas a las bases de datos, al tratamiento de imagen, a la gestin administrativa, y aunque en todas ellas se utilizan algoritmos matematicos muy complejos, estos no se perciben y por tanto no aparecen explicitamente las matemticas empleadas en ellos, o lo hace solamente en sus aspectos mas elementales, como puede ser la aritmtica contable. Todo el mundo sabe que hay aplicaciones informticas a la ingeniera, y a otras disciplinas en las que las matemticas juegan un papel importante, pero precisamente por eso se estima que esas aplicaciones ms tienen que ver con la matemtica que con la informtica propiamente dicha. 2.1 Objetivo General

Pero en que consiste la informtica propiamente dicha? Por un lado, forman parte de la informtica las propias mquinas: los ordenadores; esas cajas negras provistas de propiedades portentosas, que se han llegado a llamar, incluso, ``cerebros electrnicos", y

que aparecieron rodeadas de una aureola (que en alguna medida an conservan) que otras mquinas no tienen. Por otro lado, forma tambin parte de la informtica algo que se sabe es esencial para que los ordenadores funcionen, como son los programas. Los programas son textos escritos en determinados lenguajes comprensibles por la mquina, llamados lenguajes de programacin, para que una vez interpretados por el ordenador realicen posteriormente su ejecucin. Para escribir esos programas se requiere de unos especialistas informticos que conozcan los lenguajes propios de las mquinas. Nos estamos refiriendo a los dos aspectos generales de la informatica; es decir a la parte material (hardware, o ferretera) y a la parte inmaterial (software, o parte blanda o impalpable). Nos estamos refiriendo a los dos pilares que fundamentan la informtica, y en los que se apoya su tercer elemento formado por las aplicaciones. Pero, de que forma, tanto el hardware como el software, son resultado, consecuencia, y aplicacin de la matemtica? Intentaremos, dar respuesta a esta pregunta, o al menos a delinear, segn mi apreciacin, cmo el vnculo fundamental que relaciona a la informtica con la matemtica es la nocin de clculo. 2.2 Objetivo Especifico

3. Desarrollo La matemtica como clculo. No vamos a entrar a caracterizar a la matemtica, ni a intentar dar una definicin parcial que sirva siquiera para los fines de esta conferencia, diremos simplemente que uno de los resultados y finalidades de la matemtica es el clculo. Es decir, la matemtica busca formas razonadas de procedimientos seguros mediante los que podamos contar, medir, y obtener los resultados de ciertas serie de operaciones que nos permitan predecir algunos acontecimientos que puedan ocurrir en la naturaleza. Al aludir a formas razonadas nos estamos refiriendo a la reflexin, al pensamiento, a la lgica; al aludir a procedimientos seguros nos estamos refiriendo al clculo. Como entendemos que esta ltima caracteristica de la matemtica es el fundamento de la informtica, dedicaremos nuestra conferencia a precisar lo que se entiende por clculo. Y al ir avanzando en la precisin de esta idea, iremos percibiendo lo que, a mi juicio, es el vnculo esencial entre matemticas e informtica.

Un clculo es un procedimiento que nos dice como debemos aplicar unas reglas, construidas a partir de operaciones sencillas sobre unos datos conocidos, para obtener el resultado buscado. En un clculo los datos no siempre son numricos, como suele creerse, pueden ser de otro tipo, por ejemplo, geomtricos (puntos, rectas, figuras, ...), letras o palabras, oraciones o proposiciones lingsticas o lgicas. Estos datos corresponden a magnitudes, u otros conceptos, a cuya definicin dedica la matemtica gran esfuerzo. Las reglas y operaciones deben ser conocidas y sencillas, en el sentido de que cualquiera persona con un pequeo entrenamiento pueda realizarlas (de aqu la idea de automatismo como opuesta a la de

reflexin o de pensamiento). Tambin puede considerarse la tarea de definir esas operaciones, y estudiar sus propiedades, como una de las actividades a las que se ha dedicado y dedica la matemtica.

La historia del clculo es tan vieja como la historia de la propia matemtica. Como todo el mundo sabe la palabra clculo significa piedrecilla, y con ella se alude al procedimiento matemtico mas antiguo que se conoce: contar. Tambin se usan piedrecillas (en los conjuntos de piedrecillas ya esta la idea de nmero) en procedimientos mas complejos, como la suma y la resta. El baco chino, que todava se usa en algunas colectividades, es un superviviente, que tal vez viene desde pocas prehistricas, de los primitivos usos de los ``clculos" . As, el baco es el primer instrumento utilizado en el largo camino de la computacin. El lgebra y los algoritmos. Hemos dicho que una de las caractersticas de los procedimientos de clculo es que sus reglas han de ser sencillas y fciles expresar para permitir su aprendizaje y la utilizacin de las mismas sin mayor esfuerzo. Los clculos aritmticos pronto alcanzaron cierta complejidad, y describirlos en el lenguaje corriente o natural hacia difcil su descripcin y por tanto su transmisin y utilizacin, sobre todo cuando se trataba de exponer mtodos de resolucin para familias enteras de problemas. Para superar esta dificultad se vio cada vez como ms necesario apoyarse en smbolos y notaciones mediante los cuales definir un leguaje (distinto del natural empleado hasta entonces), que fuese ms adecuado para expresar y describir las ideas y los procedimientos matemticos. As apareci y se fue desarrollando el lgebra, como lenguaje formal, y la idea de algoritmo, o clculo algebraico, como automatismo para la resolucin de problemas. Esta formalizacin de la aritmtica se va depurando, desde los primeros tratados de la ``regla de la cosa", hasta alcanzar su madurez mediante las expresiones algebraicas, que permitan describir con sencillez las operaciones del lgebra. Utilizando las expresiones algebraicas es mas facil encontrar y dar las frmulas para la resolucin de ecuaciones algebraicas de los grados inferiores. Estas frmulas sintetizaban algoritmos, es decir procedimientos automticos mediante los cuales a partir de los datos del problema obtener la solucin, o dicho en trminos matemticos, a partir de los coeficientes de la ecuacin obtener sus races. En efecto, estas formulas indican el orden en que deben realizarse ciertas operaciones con los coeficientes para obtener el resultado. Estas operaciones son, en el lgebra clsica (el lgebra del siglo XVI) , la suma, la resta, el producto, la divisin y la raz cuadrada, y se deca ``resolver ecuaciones por radicales" cuando se utilizaban estas formulas o los algoritmos por ellas representados, en las que la raz cuadrada jugaba un papel esencial en las mismas.

Con este tipo de algoritmos con radicales, se obtuvieron, en el siglo XVI, procedimientos ``automticos" para resolver tambien las ecuaciones de tercer y cuarto grado. Pero no pudieron encontrarse algoritmos de este tipo para ecuaciones algebraicas de grado superior al cuarto , lo que signific un acicate para buscar otros procedimientos de clculo. Mucho del esfuerzo matemtico de los siglos XVII y XVIII, se dedic a reducir el pensamiento a clculo, es decir buscar la forma de realizar procedimientos efectivos mediante los que obtener de forma ``automtica" (no depender de la feliz idea) la resolucin de problemas. Aunque esa pretensin no se consigui, en esta bsqueda se desarroll el clculo analtico o formal (clculo infinitesimal de Newton (1642-1727) y de Leibniz (1646-1716), la geometra analtica de

Descartes (1596-1650)) y clculo numrico (como fueron los desarrollos en serie para realizar el clculo efectivo de funciones matemticas, uno de cuyos principales artfices fue Euler (1707-1783)). El Clculo de Proposiciones.

Una vez que hemos visto, con mayor generalidad, lo que se entiende por un clculo, veremos que esta nocin se aplica, no solo a las operaciones geomtricas, numricas y algebraicas, sino tambin a las operaciones lgicas. Para ello demos unas ideas sobre en que consiste el clculo de proposiciones, tambien conocido como lgebra de Boole, y como puede materializarse este clculo lgico mediante mquinas. Esta teora matemtica es el fundamento de los actuales ordenadores electrnicos y por tanto uno de los aspectos en que de forma ms directa esta vnculada la informtica con la matemtica. Ms adelante veremos como la lgica formal, o lgica matemtica, tambin es el fundamento de los lenguajes de programacin: otro de los pilares en los que se apoya la informtica. En que consiste el clculo de proposiciones? Una proposicin es una frase o expresin a la que se puede asignar el valor lgico de verdadero o de falso; si toma el valor de verdadero se la llama proposicin verdadera y si toma el valor de falso se la llama proposicin falsa. Por ejemplo, la proposicion

es una proposicin falsa, y la proposicion

es una proposicin verdadera. La formalizacin como clculo.

La extensin del calculo aritmtico, al lgebra clsica, al lgebra de las proposiciones y a otras lgicas, ha conducido a considerar a alguno de los aspectos formales de la matematica como clculo, y esto ha tenido gran importancia para la definicin de los sistemas formales deductivos; en particular, en la formalizacin de los lenguajes, no solo matemticos (Metamatemtica), sino de otros tipos de lenguajes: los lenguajes formales (o artificiales); e incluso del lenguaje natural como lo est intentando la moderna lingstica y la lingstica computacional. La contribucin de Chomsky al desarrollo de la lingstica, desde que apareci, en 1957, su Syntactic Structures , ha sido muy importante en los lenguajes naturales y tambin, de forma muy patente, en los lenguajes de programacin. Las gramticas formales, las gramticas generativas y transformacionales, han dado nuevas herramientas para estos estudios. Lenguajes Formales.

Llamamos lenguaje construido con el alfabeto , a cualquier subconjunto L de *. Diremos que un lenguaje es finito, si es finito el nmero de cadenas de que consta; en otro caso diremos que es infinito. El lenguaje vacio no tiene ninguna cadena (que no debe confundirse con el lenguaje que solo tiene la cadena vacia).

Una vez dada esta definicin tan general de lenguaje, el problema inicial que se nos presenta es como distinguir con precisin las cadenas que pertenecen a un lenguaje L de aquellas que no pertenecen. Hay dos formas de hacerlo: una consiste en dar las reglas mediante las cuales construir las cadenas que forman el lenguaje, y otra es dar un procedimiento para determinar si una cadena dada pertenece o no al lenguaje considerado. En el primer caso se trata de definir las gramticas formales, o generadores, y en el otro los autmatas o reconocedores. Para fijar un poco las ideas de lo que se entiende por lenguaje definido por una gramtica formal, demos ligeramente algunos detalles tcnicos. Una gramtica es un procedimiento finito para formar o generar cualquiera de todas las posibles cadenas de un lenguaje. Sistemas Formales.

La pretensin de formalizacin del pensamiento, que se inici con la osada de Boole al pretender haber encontrado ``las leyes del pensamiento", di origen a un inters renovado por la lgica y a la aparicin de la lgica matemtica (Morgan, Frege, Russell, Hilber), que se inicia en la segunda mitad del siglo XIX, y que incide de forma determinante en la moderna fundamentacin de la matemtica, y en el desarrollo de la teora de conjuntos (Peano, Cantor). La idea de formalizacin de una teora es la que brevemente exponemos a continuacin. Definimos a un sistema formal, como una cudrupla:

donde sus elementos los interpretamos como sigue: : es un alfabeto. : es un subconjunto recursivo de : es un subconjunto recursivo de . : es un conjunto finito de reglas de inferencia, de la forma variables tomarn valores en las mediante . En estas reglas se dice que la frmula , o que es consecuencia de , cuyas se obtiene a partir de . , cuyos elementos reciben el nombre de axiomas. , llamado conjunto de frmulas ( *).

Calculabilidad

Para dar respuesta a estas preguntas lo primero que hay que estudiar, y definir con precisin, es que se entiende por clculo, y por algoritmo, conceptos estos que se han venido utilizando desde el Renacimiento, sin ser sometidos a la necesaria crtica, (como hemos expuesto en las paginas

anteriores), pero que a partir de los descubrimientos de Gdel, era imprescindible que se aclararan, pues ya se haba perdido definitivamente la esperanza, acariciada por Raimundo Lulio, y tambin pretendida por Leibniz, de que ante cualquier situacin conflictiva, en la que se presentase una discrepancia entre personas, esta se resolviese, en vez de utilizar discusiones acaloradas, mediante el clculo (calcular en lugar de discutir). En los aos 30 del siglo XX, varios lgicos matemticos, inician la tarea de definir con precisin lo que se entiende por calculabilidad, profundizando en las ideas de algoritmo y de funcin calculable, dando como resultado los conceptos de funciones recursivas, y de mquinas de Turing. En el primer caso se trata de encontrar las funciones calculables ms simples posibles a partir de las cuales por composicin y por recursin se van obteniendo las dems funciones que pueden ser efectivamente calculables o computables. En el segundo caso se trata de definir mquinas compuestas por conjuntos de instrucciones de la mayor sencillez posible con la finalidad de obtener de forma efectiva el resultado de una funcin calculable. Maquinas de Turing.

Otra forma de caracterizar la clase de las funciones computables se hace mediante las llamadas mquinas de Turing. Estas son mquinas formales, es decir sin cables ni componentes fsicos. Su finalidad es definir los clculos a partir de las operaciones ms sencillas posibles, y utilizando las cuales calcular efectivamente funciones dadas. Las funciones que as pueden realizarse se llaman funciones calculables o computables. Este tipo de mquina consta hipoteticamente de una unidad de control capz de interpretar las instrucciones que reciba, y de una cabeza lectora que permite leer el contenido de una de las casillas en que est dividida una memoria lineal, ilimitada en ambas direcciones de sus extremos.

4. Conclusin Las mquinas automticas

Hasta aqu se dio un sucinto panorama de la evolucin del papel jugado por la matemtica en los fundamentos y orgenes de la informtica. Como se vio, este papel ha consistido en la bsqueda de automatismos de clculo, desarrollando para ello aparatos tericos cada vez ms potentes. Aunque entre matemtica e informtica existen muchos otros vnculos, en el marco de una conferencia solo se puede aludir a alguno de los aspectos que relacionan a ambas disciplinas. Por ejemplo, tambin debera haberse tenido en cuenta el aspecto reciproco, es decir, considerar que si la matemtica ha sido el fundamento terico que ha permitido la aparicin y desarrollo de la informtica, tambin la informtica brinda ahora un potente instrumento de clculo que facilita el estudio de ciertos problemas matemticos que hasta ahora no habian podido abordarse con xito, como ocurre, entre otros muchos, con varios problemas de topologa y de teora de nmeros. Este tema de la informtica como auxiliar en la investigacin de algunos problemas matemticos, es un tema importante que requiere una atencin especfica. Pero no queremos terminar sin subrayar el hecho, que resulta realmente sorprendente, de cmo estos estudios tericos encaminados a encontrar procedimientos de clculo se hayan materializado en mquinas, con cierta autonoma para actuar, que pueden permitir al hombre liberarse de los trabajos repetitivos y mecanicos, (caractersticas estas que son las que mejor definenen a los clculos), para

poder dedicarse a tareas creativas mas propias de la complejidad de la naturaleza humana, alcanzada tras millones de aos de una evolucin natural todava inconclusa. Los automatismos, que eran realizados al principio directamente por el hombre, han ido materializandose paulatinamente hasta convertirse en herramientas cada vez mas participativas, que han ido aportando, con eficacia creciente, su colaboracion en la realizacin de esos clculos. En esta evolucin de la materializacin de los procedimientos se ha llegado, a mediados del siglo XX, a la construccin de mquinas en las que cada vez intervienen menos, de forma directa, las personas. En efecto, aunque a lo largo de nuestra conferencia hemos aludido varias veces a algunos dispositivos fsicos utilizados por el hombre como herramienta de clculo (baco, regla y comps, mqinas aritmticas, regla de clculo, ...), no podemos considerar todava a estos dispositivos como mquinas automticas, ya que ninguno de ellos funciona sin que el hombre opere directamente sobre los mismos. Los primeros ejemplos que suelen citarse como dispositivos fsicos automticos (entendiendo aqu automatismo como la ausencia de intervencin humana en la ejecucin de un proceso) son el telar de Jaquard (1752-1834), y el regulador de Watt (1736-1819). Aqul, por que es la primera mquina capaz de leer informacin previamente grabada en una tarjeta perforada (dispositivo digital) y realizar por s misma las operaciones indicadas en esa informacin; y el segundo porque es capz de medir directamente una magnitud fsica (la presin del vapr de la caldera) mediante un dispositivo analgico, y cambiar su comportamiento de acuerdo con esa medida. Este es un nuevo enfoque del concepto de automatismo, en el que lo caracterstico es la existencia de mquinas con capacidad para recibir informacin y de ajustar su comportamiento de acuerdo con la informacin recibida . La importancia de este nuevo concepto consiste en el decubrimiento de sistemas, tanto digitales como analgicos, en los que que la informacin puede depositarse, circular y ser interpretada por y en dispositivos materiales fuera del sistema nervioso humano. Han aparecido en torno a este concepto dos nuevas disciplinas: la Teora de la Informacin y la Ciberntica. La ciberntica es una de las disciplinas que estudia el comportamiento de estos sistemas de informacin, en los que la realimentacin y homeostasis son dos de los factores siempre presentes en los mismos. La teora de la informacin estudia los aspectos matematicos de la informacion. Estas nuevas disciplinas que han abierto nuevos campos de estudio a la matemtica, y la relacionan con la informtica, considerada esta ltima en su sentido ms amplio. Asi se llega a percibir que la informacin se comporta como un elemento fsico, material, externo al hombre, anlogo a la materia o a la energa, y este hecho, de aparicin tan reciente (apenas 200 aos), es de una transcendencia tal, que est modificando de forma radical la estructura de las sociedades humanas. En estas modificaciones estn incidiendo de forma muy notable los sistemas cibernticos , de complejidad creciente, que podramos agrupar en dos grandes categoras y denominar simblicamente a cada una de ellas como maquina sapiens y maquina faber, as como las redes de comunicacin que los interconectan. La actividad inteligente del hombre le ha conducido al descubrimiento de clculos y algoritmos para no tener que pensar en como actuar cada vez en que se presentan las mismas condiciones, de manera que una vez pensado el procedimiento este se reduce a una sucesin de reglas que aplicadas correctamente nos llevan con certeza a obtener el resultado deseado. Ya hemos visto como la materializacin de estos procedimientos nos han conducido a la aparicin del ordenador y de otros dispositivos automticos. Durante siglos el hombre era el nico capz de operar estos instrumentos. Solo desde hace unas decadas puede decirse que esos instrumentos y dispositivos han alcanzado un nivel de desarrollo suficiente para poder interpretar directamente la informacion y los algoritmos y, de acuerdo con ellos, actuar sin la atencin humana directa. El ordenador es el mximo exponente de este tipo de

dispositivos, aunque no el nico ni ser el ltimo. Pero estos dispositivos solo actuan sobre informacin, solo es informacin lo que transforman y transportan. Esta caracterstica de este tipo de mquinas y dispositivos es la nos permite denominarla, abusando evidentemente de la expresin, como mquina sapiens. Estas maquinas facilita el acceso a la informacin y a la cultura y permite la cooperacin intelectual de las personas. Pero el hombre no solo acta sobre la informacin, acta tambin sobre la materia, la transforma y la transporta, y para ello necesita energa. En la transformacin de la materia el hombre ha usado de forma directa su energa corporal, su fuerza fsica, as como de la informacin que como individuo posea sobre los procesos de transformacin. Tambin desde pocas remotas recurri a pensar procedimientos para incrementar el resultado de su fuerza, pensamiento que fue materializandose en herramientas, instrumentos y otros dispositivos que se convirtieron en mquinas productivas cada vez mas elaboradas. A la clase de esta gran familia de dispositivos productivos es a la que podemos llamar maquina faber. La conjuncin entre estas dos clases de mquinas ha hecho aparecer otras de nuevo tipo (nos referimos al robt, que puede considerarse como un ordenador dotado de fuerza y movilidad) que ya desde los aos 50 se preconizaba como el elemento bsico para el desarrollo de la automacin, es decir de la produccin automtica total. Este vaticinio no se ha producido, pero no por dificultades tcnicas insuperables, sino para evitar los cambios sociales que esos cambios tecnolgicos acarrearan. Vemos, pues, como el hombre en su desarrollo intelectual, y a lo largo de su produccin tcnica y cientfica, especialmente matemtica, ha ido creando dispositivos para liberarse de los trabajos repetitivos y mecnicos, simbolizados por la informtica, para alcanzar as la posibilidad de dedicarse a tareas ms propiamente humanas. 5. Recomendacin Es necesario que se tome conciencia de la necesidad creciente de todas las ciencias en volcarse al uso de Matemtica en la formalizacin de sus conceptos, lo cual requiere de la formacin de matemticos capaces de integrarse a grupos de investigacin multidisciplinarios, traducir los problemas al lenguaje formal, analizarlos utilizando o creando herramientas matemticas adecuadas, interactuando constantemente con los especialistas de otras disciplinas. Por consiguiente se necesita con urgencia una poltica activa de los departamentos de Matemtica para impulsar el estudio y la investigacin en Matemtica Aplicada, considerada como rama de la Matemtica, del mismo nivel de seriedad que la Matemtica pura, y con una fuerte interrelacin con computacin. Los matemticos aplicados deben ser formados con el mismo entrenamiento riguroso en Matemtica que los matemticos puros, pero debern, adems, considerarse ciertas pautas especiales referidas a Matemtica Aplicada. Estas son: a) Para un matemtico aplicado, es indispensable haber tenido cursos de anlisis numrico (lgebra lineal numrica, resolucin numrica de ecuaciones diferenciales, etc.) y de optimizacin con y sin restricciones; b) Anlogamente, un matemtico aplicado deber tener en su carrera cursos de otras ciencias exactas y naturales, conjuntamente con los estudiantes de estas ciencias, para comprender la metodologa de la ciencia experimental; c) El matemtico aplicado deber tener una slida base en computacin; d) El matemtico aplicado deber tener entrenamiento en modelizacin y experimentacin numrica, con el cual se acostumbrar al hecho de que, en muchos casos, la Matemtica Aplicada tiene aspectos

de ciencia experimental en la cual la computadora hace las veces de laboratorio (ver por ejemplo las secciones de Ciencias de la Atmsfera, Oceanografa y Cambio Global). Por otra parte, debe haber una poltica activa de contacto con empresas, estatales y privadas, para, por un lado, convencer a las empresas de que la Matemtica Aplicada les puede ser muy til, y, por el otro, ir creando en los jvenes matemticos una cultura de integracin con el medio productivo. Este no es un proceso fcil: basta ver las dificultades que se tuvieron en Oxford para llevar adelante propuestas de "Matemtica industrial" con empresas privadas, comenzando con Imperial Chemical Industries (ICI), pese al prestigio tanto de Oxford como de ICI. Debe destacarse que, pese a las dificultades que se enfrentaron, el proyecto fue exitoso. Por ltimo, como primeras medidas para impulsar el desarrollo de la Matemtica Aplicada se puede proponer lo siguiente: a) Otorgamiento de becas de doctorado del CONICET en Matemtica Aplicada. El nmero inicial no puede ser muy numeroso, dado que hay pocos posibles directores de tesis y pocos estudiantes de Matemtica interesados (y con los mnimos conocimientos indispensables de anlisis numrico, computacin, optimizacin, etc.), pero debern ir en aumento en los aos siguientes. Por ejemplo, empezar con seis becas a nivel nacional e ir aumentando el nmero anualmente. Es importante que esta informacin se difunda entre los estudiantes de Matemticas (y de otras disciplinas), como para ir creando la sensacin de que es poltica del CONICET (y eventualmente de la Agencia) considerar durante varios aos a la Matemtica Aplicada rea de carencia a ser protegida. Naturalmente, no es necesario restringir el beneficio de estas becas a graduados en Matemtica : no tiene nada de malo que un fsico o un licenciado en computacin, por ejemplo, terminen haciendo su doctorado en Matemtica Aplicada. b) Establecer convenios con grandes empresas para enviar, primero pasantes y luego becarios de posdoctorado, de modo que CONICET y cada empresa financien en determinadas proporciones la respectiva pasanta o posdoctorado. Esto contribuir a que las empresas noten que los matemticos aplicados les son tiles, y puedan eventualmente incorporarlos. En general, no hay nada mejor que la existencia en el mbito de una empresa de uno o ms doctores en ciencia o ingeniera para favorecer la relacin universidad-empresa, y esto se aplica naturalmente tambin a los matemticos aplicados. c) Otorgar subsidios del CONICET y la Agencia para proyectos de investigadores que incluyan estudiantes de doctorado en Matemtica Aplicada en dichos proyectos.

6. Bibliografa Profesor D. Federico Gaeta 7. Referencia de Internet http://biblioweb.sindominio.net http://es.wikipedia.org http://www.njit.edu

8. Anexos Campos de las Ciencias de la Computacin

Fundamentos matemticos

- Criptografa Algoritmos para proteger datos privados, incluyendo el cifrado - Teora de grafos Son elementales para las estructuras de almacenamiento de datos y para los algoritmos de bsqueda. - Lgica matemtica - Teora de tipos Anlisis formal de los tipos de los datos, y el uso de estos para entender las propiedades de los programas, en particular la seguridad de los mismos. Teora de la computacin - Teora de la computacin - Teora de autmatas - Teora de la computabilidad - Teora de la complejidad computacional Lmites fundamentales (en especial de espacio en memoria y tiempo) de los cmputos. Algoritmos y estructuras de datos - Anlisis de algoritmos - Algoritmos Procesos formales usados para los cmputos, y eficiencia de estos procesos. - Estructuras de datos Organizacin y manipulacin de los datos Lenguajes de programacin y compiladores - Compiladores Formas de traducir programas computacionales, usualmente a partir de lenguajes de alto nivel a lenguajes de bajo nivel. - Teora de lenguajes de programacin Lenguajes formales para expresar algoritmos y las propiedades de estos lenguajes. Bases de datos - Minera de datos Estudio de algoritmos para buscar y procesar informacin en documentos y bases de datos; muy relacionada con la adquisicin de informacin. Sistemas concurrentes, paralelos y distribuidos - Programacin concurrente Teora y prctica de cmputos simultneos y computacin interactiva. - Redes de computadoras Algoritmos y protocolos para comunicar eficientemente datos a travs de largas distancias, incluye tambin la correccin de errores. - Cmputo paralelo Computacin usando mltiples computadoras y mltiples procesadores en paralelo. - Sistemas Distribuidos Sistemas utilizando mltiples procesadores repartidos en una gran rea geogrfica. Inteligencia artificial - Inteligencia artificial La implementacin y estudio de sistemas que exhiben (ya sea por su comportamiento o aparentemente) una inteligencia autnoma o comportamiento propio, a veces inspirado por las caractersticas de los seres vivos. Las ciencias de la computacin estn relacionadas con la IA, ya que el software y las computadoras son herramientas bsicas para el desarrollo y progreso de la inteligencia artificial. - Razonamiento automatizado

- Robtica Algoritmos para controlar el comportamiento de los robots. - Visin por computador Algoritmos para extraer objetos tridimensionales de una imagen bidimensional. - Aprendizaje Automtico Grficos por computador - Computacin grfica Algoritmos tanto para generar sintticamente imgenes visuales como para integrar o alterar la informacin visual y espacial tomada del mundo real. - Procesamiento digital de imgenes Por ejemplo para sensores remotos. - Geometra Computacional Por ejemplo algoritmos veloces para seleccionar slo los puntos visibles en un poliedro visto desde cierto ngulo, usado en motores 3D Computacin cientfica - Bioinformtica - Computacin Cuntica Paradigma de computacin basado en la Mecnica Cuntica Y se ha habilitado nuevos tipos de investigacin cientfica, como la fsica computacional, la qumica computacional y la biologa computacional, entre otras (Constable 1997).