Résultats de la recherche

...({{en russe|Пётр Сергеевич Новиков}} ; 1901-1975) est un [[mathématicien]] russe, qui a travaillé en [[logique mathématique]], [[théorie des ensembles]], [ ...ervice dans l'[[Armée rouge]] entre 1920 et 1922 durant la [[guerre civile russe]]. En 1925, il achève ses études et il entreprend des recherches sous la di ...

Le principe a d'abord été étudié et adopté par l'école russe du constructivisme, généralement avec l'[[axiome du choix dépendant]] et so ...t d'une règle admissible dans l'[[arithmétique de Heyting]]. Plus tard, le logicien [[Harvey Friedman]] a montré que la règle de Markov est une règle admissibl ...

...ts]] (né en [[1674 en science|1674]]), hymnographe, poète, théologien et [[logicien]] [[Royaume-Uni|britannique]]. ...ksei Chirikov]] (né en [[1703 en science|1703]]), [[explorateur]] [[Russie|russe]]. ...

...vre est grandement apprécié et, au fil du temps, traduit en allemand et en russe, et cité dans les universités d'Italie, de France, d'Allemagne et de Belgiq ...us de 200 publications, d'abord [[analyse (mathématiques)|analyste]], puis logicien, mais plus intéressé par la formalisation des mathématiques que par la logi ...

...[[Roland Fraïssé]] (né en [[1920 en science|1920]]), [[mathématicien]] ([[logicien]]) [[France|français]]. ...hématicien]] et [[Histoire des mathématiques|historien des mathématiques]] russe. ...

...de décès|20|octobre|1987}} à [[Moscou]]) est un [[mathématicien]] [[Russie|russe]] et [[URSS|soviétique]] qui a apporté des contributions significatives en ...révolutionnaire et disparaît, probablement tué pendant la [[Guerre civile russe]] en 1919. Le jeune Andreï est élevé par ses tantes à [[Aéroport Tounochna| ...

* [[1911]] : [[Anatoli Rybakov]], écrivain russe († {{Date|23|décembre|1998}}). ** [[Sergueï Lagoutine]], cycliste sur route ouzbek puis russe. ...

...en proposition and predicate?}} »], Answers.com.</ref> ; si le lecteur est russe, on obtiendra la proposition « La Russie se situe en Europe » qui est indét ...dessous), ou une notation comme la [[notation polonaise]], inventée par le logicien polonais [[Jan Łukasiewicz]]. Il est important que la définition des formul ...

...nrhyndeudraeth]] ([[pays de Galles]]), est un [[mathématicien]], [[logique|logicien]], [[philosophe]], [[Épistémologie|épistémologue]], [[Personnalité politiqu ...que son intérêt croît pour la [[Révolution russe d'Octobre 1917|révolution russe]], dont il dit qu'elle {{Citation|montre la voie}}{{Sfn|Russell|2014|p=211} ...

...6}}, est un [[philosophe]], [[scientifique]], [[mathématicien]], [[logique|logicien]], [[diplomate]], [[juriste]], [[historien]], [[bibliothécaire]] et [[philo ...ton]]<ref group="R" name="macdonald-p10"/>) et avait quelques notions de [[russe]] et de [[langues chinoises|chinois]]<ref group="C" name="gwlb"/>{{,}}<ref ...

...' C'est un [[Langage formel|langage]] entièrement formalisé inventé par le logicien Gottlob Frege et qui a pour but de représenter de manière parfaite la [[log ...mathématique de planification de la production et de l'organisation]» (en Russe). ...

...a translittération anglaise sur Wikipédia. Voir la page [[Transcription du russe en français]]. Les allemands et les anglais ont des règles différentes. ::[[Transcription du russe en français]]:"Depuis que la Russie a adopté, au milieu des années 1990, la ...

...]], il est envoyé sur le [[Front de l'Est (Première Guerre mondiale)|front russe]] dans un régiment d'[[artillerie]] où il gagne plusieurs médailles pour so Le philosophe et logicien [[Frank Ramsey]] lui rend visite en {{date-||septembre|1923}} pour discuter ...

...évoqué par la personne qui a renommé est la suivante : [[Transcription du russe en français]]. Mais il n'y a pratiquement aucune source avec cette orthogra ...Bibliothèque nationale de France<br/>identifiant de la Grande Encyclopédie russe en ligne<br/>identifiant Store norske leksikon<br/>record de température ma ...

...h]] infobox avec champs=mathématiques, logique. [[Jan Łukasiewicz]] champs=logicien, mathématicien, philosophe. Le modèle indique {{cita|champs : Énumérer les ...thématiciens]] depuis l'allemand. Pour les liens et l'orthographe des noms russe, je flotte {{sourire}}. -- [[Utilisateur:ManiacParisien|ManiacParisien]] ([ ...

::Si Sousline est un russe, d'après [[Transcription du russe en français]], il faut écrire Sousline en français.--[[Utilisateur:Cbigorgn ...adaptés (en tout cas pour un lecteur qui fait un peu de maths sans être un logicien ou théoricien des ensembles), par contre un peu raides pour quelqu'un qui n ...

::Karl Schwartschild était artilleur sur le front russe. Cela ne l'a pas empêché de résoudre quelques problèmes de géométrie dans l ...ens, philosophes et co, sous la figure tutellaire de [[Jean-Yves Girard]] (logicien, clairement de très haute importance, mais aux propos cryptiques/comiques/p ...

...était russe, puis soviétique, et le seul article qu'il n'ait pas écrit en russe était précisément l'article relatif à son fameux théorème. J'ai vu dans une ** 2.3. Mais côté logicien cette suprématie donnée à la cardinalité de '''R''' (= plus intéressant cel ...