Sigo pensando que una proposición falsa no implica que dos proposiciones contrarias sean a la vez verdaderas
Es que dos proposiciones contrarias no pueden ser verdaderas a la vez. Nadie ha dicho eso. Sugata te lo ha explicado muy bien.
No sabia que el depositario de la verdad fueras tú. Las matemáticas se defienden con razonamientos no con la autoridad del que las expone como ocurre con otras disciplinas
Eso es relativo. Si envías un artículo a una revista para que te lo publiquen, el resultado no será que te lo aceptan si lo que pones en él es verdad y que te lo rechazan si no es verdad, sino que dependerá de si los que evalúan tu artículo consideran que es verdad o los que te evalúan tu artículo consideran que no es verdad. Siempre que hay que tomar una decisión práctica, es necesario que haya un "depositario de la verdad" (o mejor, varios). Eso es inevitable y lo máximo que puede hacerse es procurar que los "depositarios de la verdad" sean tan fiables como sea posible y, por supuesto, que siempre sea posible consultar más opiniones en caso de duda o discrepancia.
En este foro, los inevitables "depositarios de la verdad" somos los moderadores y administradores y, sin que lo que voy a decir me incluya a mí (al contrario que a ti, no me gusta valorarme a mí mismo), estoy convencido de que todos ellos están muy bien elegidos. Dudo mucho que haya un solo matemático serio que lea tus mensajes y, en caso de tener que ejercer como "depositario de la verdad" no coincidiera en el veredicto de que a menudo no sabes de lo que hablas y te pones en evidencia en una de cada cuatro frases que escribes. Si encuentras una opinión imparcial que discrepe de la mía, será interesante leer unos argumentos que sostengan tus puntos de vista y que no sean los tuyos. Si, por el contrario, considerar que tu razón es suficiente para llevarle la contraria a todo el mundo... pues poco podré decir yo, que soy parte del mundo, para convencerte de que algo falla ahí.
Las integrales estaban mal escritas, el símbolo \( dxdy \) representa una forma diferencial bidimensional y debe reservarse para cuando se integra en dos dimensiones, esto es, para la integral doble.
Magister dixit. ¿Quién es ahora el depositario de la verdad?
Estaría de acuerdo con la expresión \( \displaystyle\int_{a}^{b}(\displaystyle\int_{a}^{b}fdy)dx \) pues no te gusta que \( dx \) vaya delante del integrando (observa los paréntesis), pero nunca con \( dxdy \) dentro de una integral simple.
Es que en la notación que censuras no hay dos diferenciales dentro de una integral simple. Entre el categórico "la integral está mal escrita" y el más modesto "yo pondría unos paréntesis" hay bastante diferencia. Y de toda la vida, el criterio práctico con los paréntesis es que si se pueden omitir sin que la expresión resultante sea ambigua, es lícito omitirlos.
Si no, cada vez que escribes \( f(2, 3) \) te podría decir que eso está mal escrito porque deberías escribir \( f((2, 3)) \), ya que se trata de la imagen \( f(x) \) del par ordenado \( x=(2, 3) \) por la función \( f \). Pero eso sería una pedantería, como lo que dices de la integral.
Creo que el que no ha pensado matemáticamente lo que escribe eres tú,
Eso es poco menos que una prueba de que yo tengo razón.
por una parte lanzas como hipótesis 3=5 lo que te sitúa en un sistema axiomático diferente del usual.
La experiencia me avisa de que sería inútil preguntarte por enésima vez cuál es ese sistema axiomático usual en el que estás pensando y que nunca has sabido concretarme, por lo que sería más inútil aún preguntarte por cuál es ese nuevo sistema axiomático en el que me sitúas. ¿Desde cuándo una hipótesis me sitúa en otro sistema axiomático? ¿Cada vez que demuestras una implicación estás cambiando de sistema axiomático? ¿Sabes lo que es un sistema axiomático? (Olvida la pregunta, he acabado en una pregunta retórica cuya respuesta es obvia.) En un sistema axiomático puedes suponer lo que quieras y con ello no cambias de sistema axiomático.
Luego la frase 'es un teorema conocido que \( 3\neq5 \)' hace que aparezca un teorema de un mundo que no es compatible con la axiomática de la hipótesis. Es así como se llega a cualquier cosa, mezclando razonamientos de un mundo con los de otro,
Para que veas lo poco que me cuesta reconocer mis errores, confieso mi error: Pensé que no me ibas a sorprender, pero me has sorprendido. Cuando pides sustentar la verdad con razonamientos, resulta que los tuyos consisten en hablar de mundos incompatibles con axiomáticas. Eso sí, unas axiomáticas misteriosas que nadie ha logrado saber jamás cuáles son.
pero no te preocupes, le pasa a todo el mundo que está un poco lejos de las matemáticas.
No sé si me creerás, pero te juro que he tenido que deja de escribir casi un minuto para esperar que se me pasara la risa. ¿Te piensas mucho estas estocadas o te salen espontáneas? Probablemente habrá a quien le incomode tu actitud, pero a mí, ver a alguien tan desorientado lanzar tales puyas sin fundamento me da risa. Es como cuando ves a un chihuahua ladrándole todo enfadado a un pedazo de perro que lo mira asombrado (técnicamente, aquí el pedazo de perro sería yo, pero eso es anecdótico, lo que me hace gracia es que le ladras así a cualquiera).
En resumen, estoy muy orgulloso de que me hayas puesto un -1 en el karma pues mis razonamientos no son muy de fiar y podrían confundir a personas no muy diestras en matemáticas
No lo he hecho para llenarte de orgullo ni para lo contrario. Es para que no asustes a nadie.
gracias a que desde pequeños han tenido profesores que les han enseñado que las matemáticas son una mezcla de sentido común, razonamientos en los que cabe todo y muchas fórmulas que hay que aprender de memoria.
Te falta añadir: ¡Pecadores! ¡Arderéis en el infierno!
No te preocupes pues ya no me merece la pena seguir participando en un foro tipo academia necesaria para aprobar una asignatura.
Puente de plata.
Pero poco te ha durado la decisión:
Estaba Jesús con sus apóstoles y dijo 'Yo soy el que soy'. Le responde San Pedro: Si me gustas maestro es por lo bien que te expresas.
Eso no lo dijo Jesús a los apóstoles. Se lo dijo Yahveh a Moisés. Un poco de culturilla...
Cuando se habla de temas de lógica matemática, hay que hacerlo con una precisión extrema. Si se usan medias palabras se pueden decir cosas que hacen sonreír a cualquier interlocutor que sepa algo del tema.
¿Conoces a alguien que sepa del tema? Pues pídele que te explique unas cuantas cosas. Yo, en cambio, coincido con Einstein cuando dijo que si no eres capaz de explicarle algo a tu abuela (a una abuela nacida en el siglo XIX, sin estudios) es que no lo entiendes.
De todos modos, a ver si el problema va a ser ése. Entonces puedes ir leyéndote esto
https://www.uv.es/ivorra/Libros/LM.pdfY si encuentras alguna falta de precisión, me avisas.
Una de dos, o no te has leído que yo he escrito exactamente: 'Sigo pensando que una proposición falsa no implica que dos proposiciones contrarias sean a la vez verdaderas' o tu frase 'La demostración de Carlos Ivorra me parece correcta' se refiere a mi y no a Carlos que sostiene justo lo contrario.
¿Y no será la de tres? ¿Y si eres tú el que ni entiende lo que he dicho yo, ni entiende lo que ha dicho Sugata, ni entiende nada de nada?
¿Y qué haces todavía en este foro de academia? Se me ocurre que podrías recomendar a tus alumnos que se pasaran por aquí, no para aprender recetas de academia, pero seguro que les interesaba ver a su profe haciendo el ridículo. Si te sientes tan orgulloso como dices, invítalos, aunque sólo sea para presumir de lo bien que estás quedando, que es algo que te gusta mucho.