Un théorème est une affirmation dont l’exactitude est établie par un raisonnement ou une preuve. Un exemple de théorème est l’affirmation selon laquelle la somme des angles triangle arbitraireégal à 180°. Cela pourrait être vérifié expérimentalement : tracez un triangle, mesurez les valeurs de ses angles avec un rapporteur et, en les additionnant, assurez-vous que la somme est égale à 180° (en tout cas, dans les limites de la précision de mesure que le rapporteur le permet). Cette vérification pourrait être répétée plusieurs fois pour différents triangles. Cependant, la validité de cette affirmation est établie dans un cours de géométrie non par une vérification expérimentale, mais au moyen d'une preuve qui nous convainc que cette affirmation est vraie pour n'importe quel triangle. Ainsi, l’énoncé sur la somme des angles d’un triangle est un théorème.

Dans les formulations des théorèmes, on trouve généralement les mots « si..., alors... », « de... suit... », etc. Dans ces cas, le signe ⇒ est utilisé pour. raccourcir la notation. Prenons comme exemple le théorème selon lequel le point M, à égale distance de deux points A et B, appartient à l'axe de symétrie de ces points (Fig. 1). Il peut être formulé plus en détail comme suit : (pour tout point A, B, M) (MA = MB) ⇒ (M appartient à l'axe de symétrie des points A et B).

D'autres peuvent être écrits de la même manière. théorèmes géométriques: vient d'abord la partie explicative du théorème (décrivant quels points ou figures sont considérés dans le théorème), puis deux énoncés reliés par le signe ⇒. La première de ces affirmations, placée après la partie explicative et avant le signe ⇒, est appelée la condition du théorème, la seconde, placée après le signe ⇒, est appelée la conclusion du théorème.

En échangeant la condition et la conclusion et en laissant la partie explicative inchangée, on obtient nouveau théorème, qui est appelé l’inverse de l’original. Par exemple, pour le théorème discuté ci-dessus, la réciproque sera la suivante : (pour tout point A, B, M) (le point M appartient à l'axe de symétrie des points A et B) ⇒ (MA = MB). En bref : si le point M appartient à l'axe de symétrie des points A et B, alors le point M est à égale distance des points A et B. dans ce cas le théorème original et son inverse sont valables.

Cependant, ce n’est pas parce qu’un théorème est vrai que sa réciproque est également vraie. Par exemple, le théorème : (le point C n'appartient pas à la droite AB) ⇒ (AB< АС + ВС) справедлива, но обратная ей теорема: (АВ < АС + ВС) =>(le point C n'appartient pas à la ligne AB) - incorrect, car sous la condition (AB< АС + ВС) точка С может быть расположена на прямой АВ, но вне отрезка АВ (рис. 2).

Ainsi, après avoir prouvé un certain théorème, nous ne pouvons pas encore affirmer que le théorème inverse est également vrai. La validité du théorème inverse nécessite une preuve distincte.

En algèbre, des exemples de théorèmes incluent diverses identités, par exemple des égalités :

(une + b) 2 = une 2 + 2ab + b 2,

une 2 - b 2 = (une + b)(une - b),

une n - b n = (une - b)(une n-1 + une n-2 b + une n-3 b 2 + ... + ab n-2 + b n-1).

Ils sont déduits (prouvés) sur la base d'axiomes, et sont donc des théorèmes. Un autre exemple de théorèmes en algèbre est le théorème de Vieta sur les propriétés des racines d’une équation quadratique.

Un rôle important en mathématiques est joué par les théorèmes dits d'existence, qui indiquent uniquement l'existence d'un nombre, d'un chiffre, etc., mais n'indiquent pas comment ce nombre (ou ce chiffre) peut être trouvé. Par exemple : chaque équation x n + a 1 x n-1 + a 2 x n-2 + ... + a n-1 x + a n = 0 avec des coefficients réels a au moins une racine réelle pour n impair, c'est-à-dire e. il existe un nombre x 0 ∈ R qui est la racine de cette équation.

Certains types de théorèmes reçoivent des noms spéciaux, par exemple lemme, corollaire. Ils ont une teinte supplémentaire. Un lemme est généralement appelé théorème auxiliaire, ce qui en soi n’a que peu d’intérêt, mais est nécessaire pour la suite. Un corollaire est une affirmation qui peut être facilement déduite de quelque chose de prouvé précédemment.

Parfois, un théorème est appelé quelque chose qu’il serait plus juste d’appeler une hypothèse. Par exemple, " grand théorème Fermat" (voir le dernier théorème de Fermat), qui stipule que l'équation x n + y n = z n n'a pas de solutions entières positives pour n > 2, n'a pas encore été prouvée.

Avec les axiomes et les définitions, les théorèmes sont les principaux types de phrases mathématiques. Faits importants chaque sciences mathématiques(géométrie, algèbre, théorie des fonctions, théorie des probabilités, etc.) sont formulés sous forme de théorèmes. Cependant, maîtriser les mathématiques ne se limite pas à l’apprentissage d’axiomes, de définitions et de théorèmes de base. Enseignement des mathématiques comprend également la capacité de naviguer dans la richesse des faits théorie mathématique, maîtrise des méthodes de base de résolution de problèmes, compréhension des idées qui sous-tendent les mathématiques, capacité à appliquer connaissances mathématiques lors de la résolution de problèmes pratiques.

La représentation spatiale, les compétences en « vision » graphique et la capacité à trouver des exemples illustrant ceci ou cela ne sont pas moins importantes. notion mathématique, etc. Ainsi, les théorèmes ne constituent que le « cadre » formel d’une théorie mathématique, et la familiarité avec les théorèmes ne représente que le début d’une profonde maîtrise des mathématiques.

La section est très simple à utiliser. Dans le champ prévu à cet effet, entrez simplement le mot juste, et nous vous donnerons une liste de ses valeurs. Je tiens à souligner que notre site Web fournit des données de différentes sources– dictionnaires encyclopédiques, explicatifs, de formation de mots. Ici, vous pouvez également voir des exemples d’utilisation du mot que vous avez saisi.

La signification du mot théorème

théorème dans le dictionnaire de mots croisés

Dictionnaire explicatif de la langue russe. D.N. Ouchakov

théorème

théorèmes, g. (du grec théorème, lit. spectacle) (scientifique). Une position dont la validité est établie par des preuves fondées sur des axiomes ou sur d'autres dispositions déjà prouvées (mat.). Démontrez le théorème. Théorème de Pythagore. ? Une position qui peut se déduire des principes fondamentaux de la logique (philosophie).

Dictionnaire explicatif de la langue russe. S.I.Ozhegov, N.Yu.Shvedova.

théorème

O, as. En mathématiques : énoncé dont la vérité est établie par la preuve.

Nouveau dictionnaire explicatif de la langue russe, T. F. Efremova.

théorème

et. Une proposition dont la vérité nécessite une preuve et est établie par preuve (en mathématiques).

Dictionnaire encyclopédique, 1998

théorème

LE THÉORÈME (grec théorème, de theoreo - je considère) en mathématiques est une proposition (énoncé) établie au moyen d'une preuve (par opposition à un axiome). Un théorème se compose généralement d’une condition et d’une conclusion. Par exemple, dans le théorème : si dans un triangle l'un des angles est droit, alors les deux autres sont aigus, après le mot « si » il y a une condition, et après « alors » il y a une conclusion.

Théorème

(théorème grec, de theoréo ≈ je considère, examine), une proposition d'une théorie déductive (voir Déduction), établie à l'aide de la preuve. Toute théorie déductive (mathématiques, plusieurs de ses branches, logique, mécanique théorique, certaines branches de la physique) se compose de T., prouvés les uns après les autres sur la base de T. précédemment prouvés ; les toutes premières phrases sont acceptées sans preuve et constituent donc la base logique de ce domaine de la théorie déductive ; ces premières phrases sont appelées axiomes. Dans la formulation de T., une distinction est faite entre condition et conclusion. Par exemple,

Si la somme des chiffres d'un nombre est divisible par 3, alors le nombre lui-même est divisible par 3, ou

si l'un des angles d'un triangle est droit, alors les deux autres sont aigus ; dans chacun de ces exemples, après le mot « si » il y a une condition T., et après le mot « alors » il y a une conclusion. Sous cette forme, chaque T peut s'exprimer. Par exemple, T. : « tout angle inscrit dans un cercle qui repose sur un diamètre est droit », peut s'exprimer ainsi : « si un angle inscrit dans un cercle repose sur un diamètre. , alors c’est vrai.

Pour chaque T. exprimé sous la forme « si… alors… ». on peut énoncer son théorème inverse, dans lequel la condition est la conclusion, et la conclusion est la condition. Les T. directs et inverses sont mutuellement inverses. Tous les T inversés ne s’avèrent pas vrais ; Ainsi, par exemple 1) l'inverse T. est correct, mais par exemple 2) ≈ est évidemment faux. La validité des deux arguments mutuellement inverses signifie que la réalisation de la condition de l'un d'entre eux est non seulement suffisante, mais également nécessaire à la validité de la conclusion (voir Conditions nécessaires et suffisantes).

Si l'on remplace la condition et la conclusion du théorème par leurs négations, on obtient un théorème appelé l'opposé de celui donné (voir Théorème opposé), il équivaut au théorème inverse de la même manière, l'inverse du théorème opposé est. équivalent au théorème original (direct). Par conséquent, la preuve d’une théorie directe peut être remplacée par une preuve que de la négation de la conclusion d’une théorie donnée découle la négation de ses conditions. Cette méthode, appelée preuve par contradiction, ou réduction à l'absurde, est l'une des méthodes de preuve mathématique les plus couramment utilisées.

Wikipédia

Théorème

Théorème- un énoncé dérivé dans le cadre de la théorie considérée à partir d'un ensemble d'axiomes grâce à l'utilisation ensemble fini règles d'inférence.

Dans les textes mathématiques, les théorèmes sont généralement appelés uniquement les énoncés prouvés qui sont largement utilisés pour résoudre problèmes mathématiques. Dans ce cas, les preuves requises sont généralement trouvées par quelqu'un. Les énoncés de théorèmes moins importants sont généralement appelés lemmes, propositions, corollaires, conditions et autres termes similaires. Les énoncés qui ne sont pas considérés comme des théorèmes sont généralement appelés hypothèses.

Les plus connus sont : le théorème de Pythagore, le théorème de Fermat.

Théorème (film)

"Théorème"- un film de Pier Paolo Pasolini de 1968 basé sur son propre travail.

Un film qui peut être interprété comme une parabole marxiste, une allégorie religieuse (une refonte hérétique de motifs christologiques), une leçon de psychanalyse et une tentative de fabrication de mythes modernes. Comme le roman du même nom de Pasolini, il illustre sa thèse (théorème) préférée sur l’identité de la doctrine chrétienne, la prédication révolutionnaire anti-bourgeoise et le désir sexuel.

Exemples d'utilisation du mot théorème dans la littérature.

Je l'ai déjà théorème J'ai oublié Vieta, et sans elle, disent-ils, il est impossible de résoudre une équation quadratique.

Maintenant, il savait tout sur le troisième problème de Hilbert, sur l'équation de Fredholm, sur la machine de Turing, sur Processus de Markov, sur les postulats, les lemmes et théorèmes Euclide, Fermat, Cauchy, Gauss, Weierstrass, Descartes, Abel, Cantor, Galois, Riemann, Lobatchevski et des dizaines d'autres grands mathématiciens !

Puis lui, roulant les yeux juste sous son front couvert de sueur froide, se mit soudain à babiller quelque chose à propos de théorème Lagrange, et quoi d'autre grande question, qui est le meilleur pianiste - Van Cliburn ou Emil Gilels, et que si une personne ne sait pas ce qu'est un pimeson, alors elle ne peut plus être considérée comme une personne vraiment instruite.

Théorème Desargas est l'un des premiers à être dérivé directement de la géométrie projective.

Notons d'ailleurs que, en recourant au concept point idéal, nous pouvons prouver théorème Desargues pour un avion.

D'ailleurs, théorème Desargas est la seule chose dont je me souviens du cours de géométrie.

Le champ s'étendait modulo cinq Au loin se trouvaient les intégrales L'étudiant n'a pas pu prendre la dérivée On lui a dit au bureau du doyen L'examen ne peut pas être passé en tant que blackamoor Notre doyen n'est pas satisfait de toi Sumey théorème Cauchy pour prouver que tu seras viré de l'université.

Pierre Fermat en a noté les conditions en marge du livre de Diophante, ajoutant qu'il en avait trouvé des preuves étonnantes. théorèmes et c'est seulement par manque de place qu'il ne peut pas l'amener.

Ce n'est pas description complète isomorphisme entre Théorème Gödel et Counterverse, mais c'est l'essentiel, la chose la plus importante.

DANS cas particulier quand il y a une envie de construire système série, dont théorèmes ne doivent être interprétés que comme des énoncés mathématiques, il semblerait que la distinction entre les deux types de séquences doive disparaître.

Tous les trois théorèmes serait faux si lettres majuscules seraient interprétés comme des noms de personnes réelles.

Vous voyez, nous devons nous assurer que le Démon extrait uniquement des informations vraies des danses atomiques, c'est-à-dire des informations mathématiques. théorèmes et magazines de mode, formules et chroniques historiques, des recettes d'iontophorèse et des méthodes pour réparer et laver les coquilles d'amiante, et des poèmes, et des conseils scientifiques, et des almanachs, et des calendriers, et des informations secrètes sur les événements des temps anciens, et tout ce que les journaux ont écrit et écrivent dans tout le Cosmos, et des annuaires téléphoniques. , jusqu'à présent pas encore imprimé.

Pendant que Moukhina, ou Moukhka, une petite brune myope, assise sur le premier banc, triait les gribouillis de Manina et les portait à son nez, Vatzel acheva son explication. théorèmes, remit sur le pupitre la craie avec laquelle il écrivait au tableau et, prudemment, sur la pointe des pieds, s'approcha de Mouchka.

Korusha, le fait est que les mathématiciens comme Keldysh ne s'occupent que de résoudre des problèmes mathématiques utiles, mais complètement inutiles théorèmes les décisions sont prises par des personnes à moitié instruites comme notre invité décédé.

Si toutes les forces du système sont conservatrices, de sorte que la loi de conservation de l'énergie soit satisfaite, alors, selon l'un des principaux théorèmes mécanique classique - théorèmes e Liouville, - le volume de la région lors du mouvement reste constant.

Chaque théorie déductive (mathématiques, plusieurs de ses branches, logique, mécanique théorique, certaines branches de la physique) est constituée de théories qui se prouvent les unes après les autres sur la base de théories préalablement prouvées ; les toutes premières phrases sont acceptées sans preuve et constituent donc la base logique de ce domaine de la théorie déductive ; Ces premières phrases sont appelées Axiomes.

Dans la formulation de T., une distinction est faite entre condition et conclusion. Par exemple, 1) si la somme des chiffres d'un nombre est divisible par 3, alors le nombre lui-même est divisible par 3, ou 2) si dans un triangle l'un des angles est un angle droit, alors les deux autres sont aigus ; dans chacun de ces exemples, après le mot « si » il y a une condition T., et après le mot « alors » il y a une conclusion. Sous cette forme, chaque T peut s'exprimer. Par exemple, T. : « tout angle inscrit dans un cercle qui repose sur un diamètre est droit », peut s'exprimer ainsi : « si un angle inscrit dans un cercle repose sur un diamètre. , alors c’est vrai.

Pour chaque T., exprimé sous la forme « si… alors… ». vous pouvez énoncer son théorème inverse (Voir Théorème inverse) , dans lequel la condition est la conclusion, et la conclusion est la condition. Les T. directs et inverses sont mutuellement inverses. Tous les T inversés ne s’avèrent pas vrais ; Ainsi, par exemple 1) le T. inverse est correct, mais par exemple 2) il est évidemment incorrect. La validité des deux arguments mutuellement inverses signifie que la réalisation de la condition de l'un d'entre eux est non seulement suffisante, mais également nécessaire à la validité de la conclusion (voir Conditions nécessaires et suffisantes).

Si vous remplacez la condition et la conclusion d'une théorie par leurs négations, vous obtenez une théorie appelée l'opposée de celle donnée (voir Théorème du contraire) , il équivaut au T inverse. De même, T., l'inverse du contraire, équivaut au T. originel (direct). Par conséquent, la preuve d’une théorie directe peut être remplacée par une preuve que de la négation de la conclusion d’une théorie donnée découle la négation de ses conditions. Cette méthode, appelée preuve par contradiction (Voir preuve par contradiction) , ou réduction à l'absurde, est l'une des méthodes de preuve mathématique les plus courantes.

Grand Encyclopédie soviétique. - M. : Encyclopédie soviétique. 1969-1978 .

Voyez ce qu'est « Théorème » dans d'autres dictionnaires :

Théorème de Loeb théorème dans logique mathématique sur la relation entre la prouvabilité d'une déclaration et la déclaration elle-même. Créé par le mathématicien Martin Hugo Loeb en 1955. Le théorème de Loeb stipule que dans toute théorie incluant l'axiomatique... ... Wikipédia

- (du grec theoreo – considérant) position scientifique. Philosophique dictionnaire encyclopédique. 2010. THÉORÈME (grec ϑεώρημα, de ϑεωρέω – je considère, j'examine... Encyclopédie philosophique

- (théorème grec, de theorein à considérer). Une offre qui doit être confirmée ; une vérité qui nécessite des preuves, principalement en mathématiques. Dictionnaire mots étrangers, inclus dans la langue russe. Chudinov A.N., 1910. THÉORÈME... ... Dictionnaire des mots étrangers de la langue russe

Pythagore. Jarg. école Plaisanterie. Professeur de mathématiques. VMN 2003, 131. Théorème de Pofigator. Jarg. école Plaisanterie. Théorème de Pythagore. VMN 2003, 108. Le théorème du Phallus. Jarg. goujon. (mathématiques). Plaisanterie. Théorème de Thalès. (Enregistré en 2003). Théorème de Hahn-Banach. Jarg. étudiant... ... Grand dictionnaire dictons russes

Cm… Dictionnaire des synonymes

- (théorème grec de theoreo consider), en mathématiques une proposition (énoncé) établie au moyen d'une preuve (par opposition à un axiome). Un théorème se compose généralement d’une condition et d’une conclusion. Par exemple, dans le théorème : si dans un triangle il y en a un... ... Grand dictionnaire encyclopédique

THÉORÈME, une déclaration ou une proposition prouvée par un raisonnement logique basé sur des faits et des AXIOMES. voir aussi le dernier théorème de Fermat... Dictionnaire encyclopédique scientifique et technique

THÉORÈME, théorèmes, femmes. (du grec théorème, lit. spectacle) (scientifique). Position dont la validité est établie par des preuves basées sur des axiomes ou d'autres dispositions déjà prouvées (mat.). Démontrez le théorème. Pythagoricien... ... Dictionnaire Ouchakova

- « THEOREMA » (Théogete) Italie, 1968, 100 min. Drame philosophique. Peut-être l’un des films les plus controversés de l’histoire du cinéma mondial. Cela a provoqué des interprétations mutuellement exclusives, des attaques de gauche et de droite contre le directeur et des représentants divisés du Vatican... ... Encyclopédie du cinéma

La position de Jacopini sur la programmation structurée, selon laquelle tout algorithme exécutable peut être converti en une forme structurée, c'est-à-dire une forme où la progression de son exécution n'est déterminée que par trois structures... ... Wikipédia

théorème- ouais, w. Suivant la logique de l’approche lotmanienne de l’art, nous pouvons proposer le concept d’érotème comme unité structurellement thématique d’eros (le terme est formé avec le même suffixe français em que les autres désignations). unités structurelles langage : lexème,... ... Dictionnaire historique Gallicismes de la langue russe

Livres

• Théorème de Gödel sur l'incomplétude, Uspensky V.A.. La brochure est équipée de six annexes, rédigées de manière un peu plus concise, bien qu'elles ne nécessitent toujours aucune connaissance particulière. Le premier d’entre eux aborde la question du lien entre...

Dans les textes mathématiques, seules les affirmations assez importantes sont généralement appelées théorèmes. Dans ce cas, les preuves requises sont généralement trouvées par quelqu'un (à l'exception principalement des travaux de logique, dans lesquels le concept même de preuve est étudié, et donc dans certains cas, même des déclarations vagues sont appelées théorèmes). Les énoncés de théorèmes moins importants sont généralement appelés lemmes, propositions, corollaires, conditions et autres termes similaires. Les énoncés qui ne sont pas considérés comme des théorèmes sont généralement appelés hypothèses.

Fondation Wikimédia.

• 2010.
• Desespérado (album)

Voyez ce qu'est « Théorème » dans d'autres dictionnaires :

Le cas des médecins Théorème de Loeb

- Le théorème de Loeb est un théorème de logique mathématique sur la relation entre la prouvabilité d'un énoncé et l'énoncé lui-même. Créé par le mathématicien Martin Hugo Loeb en 1955. Le théorème de Loeb stipule que dans toute théorie incluant l'axiomatique... ... Wikipedia THÉORÈME - (du grec theoreo – considérant) position scientifique. Dictionnaire encyclopédique philosophique. 2010. THÉORÈME (grec ϑεώρημα, de ϑεωρέω – je considère, j'examine...

- Le théorème de Loeb est un théorème de logique mathématique sur la relation entre la prouvabilité d'un énoncé et l'énoncé lui-même. Créé par le mathématicien Martin Hugo Loeb en 1955. Le théorème de Loeb stipule que dans toute théorie incluant l'axiomatique... ... Wikipedia- (théorème grec, de theorein à considérer). Une offre qui doit être confirmée ; une vérité qui nécessite des preuves, principalement en mathématiques. Dictionnaire de mots étrangers inclus dans la langue russe. Chudinov A.N., 1910. THÉORÈME... ... Dictionnaire des mots étrangers de la langue russe

- Le théorème de Loeb est un théorème de logique mathématique sur la relation entre la prouvabilité d'un énoncé et l'énoncé lui-même. Créé par le mathématicien Martin Hugo Loeb en 1955. Le théorème de Loeb stipule que dans toute théorie incluant l'axiomatique... ... Wikipedia- Pythagore. Jarg. école Plaisanterie. Professeur de mathématiques. VMN 2003, 131. Théorème de Pofigator. Jarg. école Plaisanterie. Théorème de Pythagore. VMN 2003, 108. Le théorème du Phallus. Jarg. goujon. (mathématiques). Plaisanterie. Théorème de Thalès. (Enregistré en 2003). Théorème de Hahn-Banach. Jarg. étudiant... ... Grand dictionnaire de dictons russes

théorème- Allez… Dictionnaire des synonymes

- Le théorème de Loeb est un théorème de logique mathématique sur la relation entre la prouvabilité d'un énoncé et l'énoncé lui-même. Créé par le mathématicien Martin Hugo Loeb en 1955. Le théorème de Loeb stipule que dans toute théorie incluant l'axiomatique... ... Wikipedia- (théorème grec de theoreo consider), en mathématiques une proposition (énoncé) établie au moyen d'une preuve (par opposition à un axiome). Un théorème se compose généralement d’une condition et d’une conclusion. Par exemple, dans le théorème : si dans un triangle il y en a un... ... Grand dictionnaire encyclopédique

- Le théorème de Loeb est un théorème de logique mathématique sur la relation entre la prouvabilité d'un énoncé et l'énoncé lui-même. Créé par le mathématicien Martin Hugo Loeb en 1955. Le théorème de Loeb stipule que dans toute théorie incluant l'axiomatique... ... Wikipedia- THÉORÈME, énoncé ou proposition, qui est prouvé par un raisonnement logique basé sur des faits et des AXIOMES. voir aussi le dernier théorème de Fermat... Dictionnaire encyclopédique scientifique et technique

- Le théorème de Loeb est un théorème de logique mathématique sur la relation entre la prouvabilité d'un énoncé et l'énoncé lui-même. Créé par le mathématicien Martin Hugo Loeb en 1955. Le théorème de Loeb stipule que dans toute théorie incluant l'axiomatique... ... Wikipedia- THÉORÈME, théorèmes, femmes. (du grec théorème, lit. spectacle) (scientifique). Position dont la validité est établie par des preuves basées sur des axiomes ou d'autres dispositions déjà prouvées (mat.). Démontrez le théorème. Pythagoricien... ... Dictionnaire explicatif d'Ouchakov

- Le théorème de Loeb est un théorème de logique mathématique sur la relation entre la prouvabilité d'un énoncé et l'énoncé lui-même. Créé par le mathématicien Martin Hugo Loeb en 1955. Le théorème de Loeb stipule que dans toute théorie incluant l'axiomatique... ... Wikipedia- « THEOREMA » (Théogete) Italie, 1968, 100 min. Drame philosophique. Peut-être l’un des films les plus controversés de l’histoire du cinéma mondial. Cela a provoqué des interprétations mutuellement exclusives, des attaques de gauche et de droite contre le directeur et des représentants divisés du Vatican... ... Encyclopédie du cinéma

Théorème de Boehm- Jacopini la position de la programmation structurée, selon laquelle tout algorithme exécutable peut être converti en une forme structurée, c'est-à-dire une forme lorsque la progression de son exécution n'est déterminée que par trois structures... ... Wikipédia

théorème- ouais, w. Suivant la logique de l'approche lotmanienne de l'art, nous pouvons proposer le concept d'érothème comme unité structurellement thématique d'eros (le terme est formé avec le même suffixe français em que d'autres désignations d'unités structurelles du langage : lexème, ... .. . Dictionnaire historique des gallicismes de la langue russe

Livres

• Théorème de Gödel sur l'incomplétude, Uspensky V.A.. La brochure est équipée de six annexes, rédigées de manière un peu plus concise, bien qu'elles ne nécessitent toujours aucune connaissance particulière. Le premier d’entre eux aborde la question du lien entre...

grec ???????, depuis ?????? – considérer, explorer) – une proposition prouvée d’une certaine théorie déductive. Dans les théories substantielles (informelles), les théories sont prouvées par des moyens très approximativement fixes (généralement implicites) de « logique ordinaire » et sont souvent opposées aux axiomes « ne nécessitant pas de preuve » (acceptés comme vrais en raison de leur « évidence »). Cependant, même si la liste exacte des axiomes n'est pas fixée, alors dans la preuve (complète) de chaque T. une distinction est toujours faite entre les prémisses de T. précédemment prouvées et les axiomes ; en fait, le statut de ce dernier peut ne pas être spécifiquement stipulé - cet objectif peut être atteint par un k.-l. motivation indirecte de l'argument utilisé ou encore le fait même du silence sur les raisons du recours à cette prémisse. C'est, par exemple, le caractère de T. pour l'essentiel. manuels de formation dans diverses branches des mathématiques (non axiomatisées). Si cette discipline est basé sur l'axiomatique base (même si sous une forme contenue), alors les axiomes (non logiques) sont explicitement répertoriés, comme, par exemple, lors de la présentation de diverses sections d'algèbre abstraite ou de topologie, et de non mathématiques. disciplines – théoriques. mécanique ou thermodynamique. En axiomatique formelle systèmes (calculs) soi-disant. formule prouvable, c'est-à-dire une formule dérivée selon les règles permettant de dériver un système donné à partir de ses axiomes. Dans le même temps, les axiomes de la théorie sont également inclus dans la théorie (la preuve de chacune de ces théories consiste en une formule - d'elle-même) ; c'est tout à fait naturel. l'accord est justifié non seulement par le caractère inductif de la définition de la notion de preuve (voir section Définitions récursives et inductives dans l'art. Définition), mais aussi par le fait que la même classe de formules prouvables peut être donnée divers systèmes axiomes, et dans certains cas le choix certaines formules(théorie fixe) est dictée comme des axiomes purement techniques. considérations, de sorte que l'opposition à k.-l. l'axiome et son équivalent (déductif) T. s'avèrent très relatifs. Parfois T., jouant aux auxiliaires. rôle et nécessaire uniquement pour prouver s.-l. un autre T., appelé des lemmes ; T., dont la preuve s'obtient très simplement par référence à d'autres T., appelés. corollaires de ces autres T. En raison de la définition insuffisante de concepts tels que « auxiliaire » et « simple », les termes « lemme » et « conséquence » sont également quelque peu conditionnels, et ces noms n'indiquent pas grand-chose sur le caractère du T. . eux-mêmes, autant que sur le style ou le niveau de présentation du sujet. T., les prouvables contiennent. au moyen de la métathéorie de k.-l. théories, appelées métathéorèmes liés à cette théorie (« sujet »). Exemples de métathéorèmes : théorème de déduction pour le calcul propositionnel ou des prédicats, théorème de Gödel sur l'exhaustivité du calcul des prédicats, théorème de Gödel sur l'incomplétude des systèmes formels impliquant l'arithmétique formelle, théorème de Church sur l'indécidabilité d'une solution de problème pour le calcul des prédicats, théorème de Tarski sur l'ineffabilité (indéfinissable, voir Définabilité ) prédicat de vérité pour une large classe de logique. le calcul au moyen du calcul lui-même (voir Vérité logique), etc. En général, les métathéorèmes sont des théorèmes sur le calcul, quels que soient les moyens et dans le cadre de quelle théorie ils sont prouvés ; les exemples incluent ce qu'on appelle principes de dualité en jeu rôle important au pluriel sections de mathématiques. Voir Inférence (en logique mathématique), Preuve, Méthode axiomatique et lit. avec ces articles. Yu. Gastev. Moscou.