Formalismo de Russell | Blog de Matemática y TIC’s

8 julio 2017 por Ana María Teresa Lucca
El descubrimiento de Bertrand Russell de una contradicción oculta en el intento de Friedrich Frege de formalizar la teoría de conjuntos hizo que algunos matemáticos se preguntaran cómo podía asegurarse de que no existían otras contradicciones. El programa de Hilbert, llamado formalismo, debía concentrarse en el lenguaje formal de la matemática y estudiar su sintaxis. En particular, la consistencia de la matemática, que puede ser tomada, por ejemplo, como la afirmación metamatemática de que la afirmación matemática 0 = 1 no es demostrable, debía ser demostrable dentro de la sintaxis de la matemática. Este proyecto de formalización sólo tenía sentido si la sintaxis de la matemática era consistente, pues de lo contrario toda afirmación sintáctica sería demostrable, incluso aquella que afirma la consistencia de la matemática.

Ver Completo: Formalismo de Russell | Blog de Matemática y TIC’s

Blog | Geometría Analítica con GeoGebra

Introducción:

La geometría analítica estudia las figuras geométricas mediante técnicas básicas del análisis matemático y del álgebra en un determinado sistema de coordenadas. Su desarrollo histórico comienza con la geometría cartesiana, continúa con la aparición de la geometría diferencial de Carl Friedrich Gauss y más tarde con el desarrollo de la geometría algebraica. Actualmente la geometría analítica tiene múltiples aplicaciones más allá de las matemáticas y la ingeniería, pues forma parte ahora del trabajo de administradores para la planeación de estrategias y logística en la toma de decisiones.

Las dos cuestiones fundamentales de la geometría analítica son:

Dado el lugar geométrico de un sistema de coordenadas, obtener su ecuación.
Dada la ecuación en un sistema de coordenadas, determinar la gráfica o lugar geométrico de los puntos que verifican dicha ecuación.

Geogebra

GeoGebra es un software matemático interactivo libre para la educación en colegios y universidades. Su creador Markus Hohenwarter, comenzó el proyecto en el año 2001 en la Universidad de Salzburgo, lo continuó en la Universidad de Atlantic, Florida, luego en la Universidad Estatal de Florida y en la actualidad, en la Universidad de Linz, Austria.

GeoGebra está escrito en Java y por tanto está disponible en múltiples plataformas
Es básicamente un procesador geométrico y un procesador algebraico, es decir, un compendio de matemática con software interactivo que reúne geometría, álgebra y cálculo, por lo que puede ser usado también en física, proyecciones comerciales, estimaciones de decisión estratégica y otras disciplinas.
Su categoría más cercana es software de geometría dinámica.

Contenido:

Sistema de coordenadas | Segmento rectilineo dirigido

Distancia entre Dos Puntos

Problema | Perímetro y Área de un terreno

División de un segmento entre una razón dada

Problema | Perímetro y Área de un terreno

División de un segmento entre una razón dada

Definiendo una función y sus puntos

Puntos Medios de los lados de un Triángulo

Ángulo de inclinación y pendiente de una recta

Círculo

Graficar Lista de Puntos

Blog | Legado Matemático

Objetivo:

Blog para divulgar los principales matemáticos que han dejado una huella en la historia de la humanidad tanto por su destacada vida como sus aportes a la ciencias en general.

Contenido:

Edad Antigua:

Edad Moderna:

Contemporánea

Arthur Cayley y el Álgebra de Matrices

 

 

Guardar

Guardar

Guardar

Guardar

Blog | Álgebra Lineal con Scilab

Este blog tutorial esta enfocado en la aplicación de la herramienta informática Scilab para la enseñanza y aprendizaje de Álgebra Lineal. Se enfoca en el uso de algoritmos para la resolución de problemas. Paralelamente se adentrará al mundo de la programación gracias a la dualidad de Scilab(software, lenguaje de programación).

Dirección: https://algebralinealscilab.blogspot.com/p/inicio.html

Contenido: