Ver canal RSS

Blogs recientes

  1. Teorema de deducción

    Hoy voy a tratar un teorema importantísimo en lógica y matemáticas conocido como el teorema de deducción.
    Es recomendable haber leído la entrada anterior sobre el sistema deductivo formal  K_L , que es lo que utilizaremos hoy.

    En lógica, al menos lingüísticamente hablando, es bastante diferente deducir una proposición de otra ( \Gamma, \alpha \vdash \beta ), de deducir que esa proposición implique la siguiente  \Gamma \vdash \alpha \rightarrow \beta . Sin embargo, cualquiera puede pensar que hay una relación entre ambas casi de equivalencia, y esto es cierto: es lo que queremos demostrar.

    ¿Cuál sería la ventaja de tener un teorema de éstas carácterísticas? Deducir  \Gamma, \alpha \vdash \beta suele ser extremadamente ...

    Actualizado 12/03/2017 a las 22:45:38 por alexpglez

    Etiquetas: lógica
    Categorías
    Matemáticas
  2. Lógica y teoría de conjuntos (1)

    Esta es la primera de varias entradas divulgativas sobre lógica y conjuntos. En ésta, vamos a comentar la necesidad de basar la matemática (y en consecuencia la física) en una teoría lógica sólidamente fundamentada.

    Comenzaremos por dar un breve repaso del sistema numérico:
    Los números naturales,  \mathbb N , son los números que sirven para describir cantidades contables: 1 casa, 3 libros, etc. Sin embargo, si se quiere hablar de "deber" cierta cantidad o incluso si se intentan resolver ecuaciones sin solución como  x+y=z, \;\; z\leq y  , pero que físicamente "deberían" tener solución, uno se encuentra con la necesidad de definir otro tipo de números, los enteros  \mathbb Z . Al igual que pasaba ...

    Actualizado 12/03/2017 a las 22:50:58 por alexpglez

    Categorías
    Matemáticas
  3. Trasformaciones de Lorentz aplicadas a la función de onda electromagnética

    Definiendo la función de onda electromagnética

    Podemos escribir la función de onda electromagnética a partir del campo eléctrico o magnético

    \displaystyle\frac{\partial^2E }{\partial x^2 }+\frac{\partial^2E }{\partial y^2}+\frac{\partial^...

    o

    \displaystyle\frac{\partial^2B }{\partial x^2 }+\frac{\partial^2B }{\partial y^2}+\frac{\partial^...

    y sabemos que ambas soluciones se encuentran en diferencia de fase en plano perpendicular a la dirección de propagación.

    Tambien que en terminos generales se puede escribir

    \displaystyle\frac{\partial^2\phi }{\partial x^2 }+\frac{\partial^2\phi }{\partial y^2}+\frac{\pa...
    ...
  4. Trasformaciones de Galileo aplicadas a la función de onda electromagnética

    Definiendo la función de onda electromagnética

    Podemos escribir la función de onda electromagnética a partir del campo eléctrico o magnético

    \displaystyle\frac{\partial^2E }{\partial x^2 }+\frac{\partial^2E }{\partial y^2}+\frac{\partial^...

    o

    \displaystyle\frac{\partial^2B }{\partial x^2 }+\frac{\partial^2B }{\partial y^2}+\frac{\partial^...

    y sabemos que ambas soluciones se encuentran en diferencia de fase en plano perpendicular a la dirección de propagación.

    También que en términos generales se puede escribir

    \displaystyle\frac{\partial^2\phi }{\partial x^2 }+\frac{\partial^2\phi }{\partial y^2}+\frac{\pa...
    ...
  5. Ecuación de estado en la Metrica FRLW con velocidad de la luz variable.

    La idea de hacer esta entrada en el blog me surgió hace un tiempo y mas allá de que pueda ser considerada como contenido seudocientífico (y lo eliminare si es así), en realidad es básicamente la pregunta es si es matemáticamente correcto y consistente , y a la vez físicamente posible que la expansión del universo y la velocidad de la luz fueran variables con el tiempo pero la misma en todo el espacio, de acuerdo a lo hablado en estos hilos

    http://forum.lawebdefisica.com/threa...inflaci%C3%B3n

    teniendo en cuenta material de referencia de

    https://en.wikipedia.org/wiki/Variable_speed_of_light

    se me ha ocurrido ...