Diferencies ente revisiones de «Demostración matemática»
Contenido eliminado Contenido añadido
m Introduciendo {{1000}} |
m Iguo testu: -"namá" +"namái" |
||
Llinia 1:
{{1000}}
[[Ficheru:Oxyrhynchus_papyrus_with_Euclid's_Elements.jpg|derecha|miniaturadeimagen|250x250px|Unu de los fragmentos sobrevivientes más antiguos d'Elementos de Euclides, un llibru de testu utilizáu mientres miles d'años pa enseñar técniques de demostración d'escritura. La diagrama acompaña'l Llibru II, Proposición 5.1.<ref>{{Cita web|url=http://www.math.ubc.ca/~cass/Euclid/papyrus/papyrus.html|autor=Bill Casselman|título=One of the Oldest Extant Diagrams from Euclid|editorial=University of British Columbia|fechaacceso=26 de setiembre de 2008}}</ref>]]
En [[matemátiques]], una '''demostración'''
Les demostraciones empleguen [[lóxica]] pero de normal inclúin una bona parte de llinguaxe natural, que usualmente almite dalguna ambigüedá. Ello ye que la gran mayoría de les demostraciones nes matemátiques escrites pue ser considerada como aplicaciones de lóxica informal rigorosa. Les demostraciones puramente formales, escrites en llinguaxe simbólicu en llugar de llinguaxe natural, #considerar en teoría de la demostración. La distinción ente demostraciones formales ya informales llevó a esaminar la lóxica matemática hestórica y actual, el cuasi-empirismu matemáticu y el formalismu matemáticu. La filosofía de les matemátiques concierne al rol del llinguaxe y la lóxica nes demostraciones, y nes matemátiques como llinguaxe.
El fechu de nun conocer nenguna demostración d'un teorema nun implica la so non veracidá;
== Referencies ==
|