Resultats de la cerca

...r [[David Hilbert]] a la seva conferència en el [[Congrés Internacional de Matemàtics]] de 1900 a Paris. ...

...lògica|lògic]] determinat, format, per exemple, per altres teoremes, i per enunciats generalment acceptats, com els [[Axioma|axiomes]]. Un teorema és una [[cons Molts teoremes matemàtics tenen la forma d'enunciats condicionals. En aquest cas, la demostració arriba a la conclusió a partir ...

[[Categoria:Enunciats matemàtics]] ...

...ura (p. ex., una [[Interpretació (lògica)|interpretació]]) que satisfà els enunciats d'aquesta teoria. ...ues)#Graf simple|graf]] és una σ_graf-estructura que satisfà els enunciats <math>\forall u \forall v(uEv \rightarrow vEu)</math> i <math>\forall u\neg ...

== Enunciats == ...al ]''x'' -&nbsp;ε, ''x'' +&nbsp;ε[ per la funció ''f''. El que, en termes matemàtics s'expressa per la proposició: ...

...nia [[Leopold Kronecker]]; però avui en dia s'accepten per la majoria dels matemàtics. ...ttingen, per [[David Hilbert]] i [[Ernst Zermelo]]. Tanmateix, per a molts matemàtics de l'època, les paradoxes plantegen un dubte sobre la validesa de la teoria ...

...ió dels principis i proposicions del llibre, així com el text en grec dels enunciats.{{sfn|Axworthy|2021|p=40}} [[Categoria:Matemàtics del segle XVI]] ...

...preguntaven si existia un mètode universal per resoldre tots els problemes matemàtics. Per a això havien de desenvolupar la noció precisa de mètode per resoldre ...s, amb el desenvolupament d'artefactes per assistir el procés dels càlculs matemàtics mentals, per exemple el [[àbac]], el [[regle de càlcul]] o el [[quipu]]. En ...

...rmeten obtenir nous enunciats a partir d'enunciats ja justificats. Aquells enunciats que es poden demostrar simplement a partir dels [[axioma|axiomes]] i les re ...hagués estat així, la Lògica seguiria essent una curiositat reservada als matemàtics amb inclinacions filosòfiques, però a finals del {{segle|XIX|s}} [[Georg Ca ...

...vàlida fins que hom no en conegui una demostració correcta. Els enunciats matemàtics demostrats que es consideren d'una especial rellevància s'anomenen [[teorem ...de l'[[àlgebra]] per part dels [[Llista de matemàtics de l'islam medieval|matemàtics islàmics]] (segles IX a XIV), van permetre generalitzar les demostracions, ...

...uals es va sospitar que era indecidible fou el [[problema d'equivalència d'enunciats sobre grups]], proposat inicialment per [[Max Dehn]] l'any [[1911]], el qua ...per una afirmació donada que determini si és decidible o no, permetent als matemàtics evitar completament els problemes indecidibles. Però la resposta negativa a ...

...seguir les indicacions dels examinadors en refusar de justificar els seus enunciats. Naturalment va ser rebutjat definitivament. Mentre que molts matemàtics abans de Galois van considerar el que ara es coneix com a [[Grup (matemàtiq ...

Certs matemàtics lectors de Diofant estudiaren de manera més sistemàtica i més aritmètica el === [[Segle XVII]]: Els enunciats === ...

...ptes d'una ciència pràctica o aplicada (encara que les estructures que els matemàtics investiguen tenen, molt sovint, el seu origen en observacions de la natura) == Grans matemàtics<ref>{{Ref-publicació|article=Female mathematicians who changed history|publ ...

...acions sorgeix a l'erotètica, la teoria de les preguntes. A l'univers dels enunciats hi ha [[Declaració (lògica)|afirmacions]] ''S'' i [[Pregunta|preguntes]] '' ...t, la columna esquerra conté un o més sistemes [[Sistema formal|lògics]] o matemàtics i l'estructura algebraica que en són els models es mostra a la dreta a la m ...

La '''història de les matemàtiques''' relata l'evolució dels descobriments matemàtics al llarg de la història. ...gle|II}}. Els matemàtics [[Índia|hindús]] a partir del {{segle|V|s}} i els matemàtics [[islàmic]]s a partir del {{segle|IX|s}} varen realitzar noves aportacions ...

...no és convenient; la llista de les propietats de grup es pot simplificar a enunciats quantificats universalment, introduint una operació 0-ària ''e'' i una oper ...causa de la guerra. La lectura de Tarski en el [[Congrés Internacional de Matemàtics]] de 1950 a Cambridge inicià un nou període en què es van desenvolupar aspe ...

Altres matemàtics han formulat aquesta propietat en termes més simples. Més enllà de la forma ...àter. Amb els seus treballs sobre la teoria de les línies paral·leles, els matemàtics àrabs van influir directament en les investigacions rellevants dels seus ho ...

...s per representar els valors desconeguts, de manera similar a l'ús que els matemàtics fan avui en dia de ''x''. Tots els professionals de la resolució de problem ...

...00|isbn=978-0-82182054-4|passage=78}}</ref> que classific entre els nombre enunciats fàcils de proposar però massa generals per ser demostrats o refutats.<ref>{ [[Categoria:Teoremes matemàtics]] ...