| Property |
Value |
| dbo:abstract
|
- En matemáticas, una demostración o bien una prueba es un argumento deductivo para asegurar la verdad de una proposición matemática. En la argumentación se pueden usar otras afirmaciones previamente establecidas, tales como teoremas o bien las afirmaciones iniciales o axiomas. En principio una demostración se puede rastrear hasta afirmaciones generalmente aceptadas, conocidas como axiomas. Las demostraciones son ejemplos de razonamiento deductivo y se distinguen de argumentos inductivos o empíricos; una demostración debe demostrar que una afirmación es siempre verdadera (ocasionalmente al listar todos los casos posibles y mostrar que es válida en cada uno), más que enumerar muchos casos confirmatorios. Una afirmación no probada que se cree verdadera se conoce como conjetura. Las demostraciones emplean lógica pero normalmente incluyen una buena parte de lenguaje natural, el cual usualmente admite alguna ambigüedad. De hecho, la gran mayoría de las demostraciones en las matemáticas escritas puede ser considerada como aplicaciones de lógica informal rigurosa. Las , escritas en lenguaje simbólico en lugar de lenguaje natural, se consideran en teoría de la demostración. La distinción entre demostraciones formales e informales ha llevado a examinar la lógica matemática histórica y actual, el cuasi-empirismo matemático y el formalismo matemático. La filosofía de las matemáticas concierne al rol del lenguaje y la lógica en las demostraciones, y en las matemáticas como lenguaje. El hecho de no conocer ninguna demostración de un teorema no implica su no veracidad; solo la demostración de la negación de este resultado implica que es falso. (es)
- En matemáticas, una demostración o bien una prueba es un argumento deductivo para asegurar la verdad de una proposición matemática. En la argumentación se pueden usar otras afirmaciones previamente establecidas, tales como teoremas o bien las afirmaciones iniciales o axiomas. En principio una demostración se puede rastrear hasta afirmaciones generalmente aceptadas, conocidas como axiomas. Las demostraciones son ejemplos de razonamiento deductivo y se distinguen de argumentos inductivos o empíricos; una demostración debe demostrar que una afirmación es siempre verdadera (ocasionalmente al listar todos los casos posibles y mostrar que es válida en cada uno), más que enumerar muchos casos confirmatorios. Una afirmación no probada que se cree verdadera se conoce como conjetura. Las demostraciones emplean lógica pero normalmente incluyen una buena parte de lenguaje natural, el cual usualmente admite alguna ambigüedad. De hecho, la gran mayoría de las demostraciones en las matemáticas escritas puede ser considerada como aplicaciones de lógica informal rigurosa. Las , escritas en lenguaje simbólico en lugar de lenguaje natural, se consideran en teoría de la demostración. La distinción entre demostraciones formales e informales ha llevado a examinar la lógica matemática histórica y actual, el cuasi-empirismo matemático y el formalismo matemático. La filosofía de las matemáticas concierne al rol del lenguaje y la lógica en las demostraciones, y en las matemáticas como lenguaje. El hecho de no conocer ninguna demostración de un teorema no implica su no veracidad; solo la demostración de la negación de este resultado implica que es falso. (es)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
| |
| dbo:wikiPageRevisionID
| |
| prop-es:author1Link
|
- James Franklin (es)
- James Franklin (es)
|
| prop-es:authorlink
|
- George Pólya (es)
- George Pólya (es)
|
| prop-es:first
|
- A. (es)
- Don (es)
- D. (es)
- G. (es)
- J. (es)
- A. (es)
- Don (es)
- D. (es)
- G. (es)
- J. (es)
|
| prop-es:id
|
- p/p075430 (es)
- p/p075430 (es)
|
| prop-es:isbn
| |
| prop-es:journal
|
- Logique et Analyse (es)
- Logique et Analyse (es)
|
| prop-es:last
|
- Velleman (es)
- Franklin (es)
- Fallis (es)
- Daoud (es)
- Pólya (es)
- Solow (es)
- Velleman (es)
- Franklin (es)
- Fallis (es)
- Daoud (es)
- Pólya (es)
- Solow (es)
|
| prop-es:pages
| |
| prop-es:publisher
| |
| prop-es:title
|
- Proof theory (es)
- How to Prove It: A Structured Approach (es)
- Mathematics and Plausible Reasoning (es)
- How to Read and Do Proofs: An Introduction to Mathematical Thought Processes (es)
- Proof theory (es)
- How to Prove It: A Structured Approach (es)
- Mathematics and Plausible Reasoning (es)
- How to Read and Do Proofs: An Introduction to Mathematical Thought Processes (es)
|
| prop-es:url
|
- http://dlist.sir.arizona.edu/1581/|title=What Do Mathematicians Want? Probabilistic Proofs and the Epistemic Goals of Mathematicians (es)
- http://www.maths.unsw.edu.au/~jim/proofs.html|title=Proof in Mathematics: An Introduction (es)
- http://dlist.sir.arizona.edu/1581/|title=What Do Mathematicians Want? Probabilistic Proofs and the Epistemic Goals of Mathematicians (es)
- http://www.maths.unsw.edu.au/~jim/proofs.html|title=Proof in Mathematics: An Introduction (es)
|
| prop-es:volume
| |
| prop-es:year
|
- 1954 (xsd:integer)
- 2002 (xsd:integer)
- 2004 (xsd:integer)
- 2006 (xsd:integer)
- 2011 (xsd:integer)
|
| dct:subject
| |
| rdfs:comment
|
- En matemáticas, una demostración o bien una prueba es un argumento deductivo para asegurar la verdad de una proposición matemática. En la argumentación se pueden usar otras afirmaciones previamente establecidas, tales como teoremas o bien las afirmaciones iniciales o axiomas. En principio una demostración se puede rastrear hasta afirmaciones generalmente aceptadas, conocidas como axiomas. Las demostraciones son ejemplos de razonamiento deductivo y se distinguen de argumentos inductivos o empíricos; una demostración debe demostrar que una afirmación es siempre verdadera (ocasionalmente al listar todos los casos posibles y mostrar que es válida en cada uno), más que enumerar muchos casos confirmatorios. Una afirmación no probada que se cree verdadera se conoce como conjetura. (es)
- En matemáticas, una demostración o bien una prueba es un argumento deductivo para asegurar la verdad de una proposición matemática. En la argumentación se pueden usar otras afirmaciones previamente establecidas, tales como teoremas o bien las afirmaciones iniciales o axiomas. En principio una demostración se puede rastrear hasta afirmaciones generalmente aceptadas, conocidas como axiomas. Las demostraciones son ejemplos de razonamiento deductivo y se distinguen de argumentos inductivos o empíricos; una demostración debe demostrar que una afirmación es siempre verdadera (ocasionalmente al listar todos los casos posibles y mostrar que es válida en cada uno), más que enumerar muchos casos confirmatorios. Una afirmación no probada que se cree verdadera se conoce como conjetura. (es)
|
| rdfs:label
|
- Demostración en matemática (es)
- Demostración en matemática (es)
|
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
