Proof calculusIn mathematical logic, a proof calculus or a proof system is built to prove statements. A proof system includes the components: Language: The set L of formulas admitted by the system, for example, propositional logic or first-order logic. Rules of inference: List of rules that can be employed to prove theorems from axioms and theorems. Axioms: Formulas in L assumed to be valid. All theorems are derived from axioms. Usually a given proof calculus encompasses more than a single particular formal system, since many proof calculi are under-determined and can be used for radically different logics.
Problème de décisionEn informatique théorique, un problème de décision est une question mathématique dont la réponse est soit « oui », soit « non ». Les logiciens s'y sont intéressés à cause de l'existence ou de la non-existence d'un algorithme répondant à la question posée. Les problèmes de décision interviennent dans deux domaines de la logique : la théorie de la calculabilité et la théorie de la complexité. Parmi les problèmes de décision citons par exemple le problème de l'arrêt, le problème de correspondance de Post ou le dernier théorème de Fermat.
Démonstration constructiveUne première vision d'une démonstration constructive est celle d'une démonstration mathématique qui respecte les contraintes des mathématiques intuitionnistes, c'est-à-dire qui ne fait pas appel à l'infini, ni au principe du tiers exclu. Ainsi, démontrer l'impossibilité de l'inexistence d'un objet ne constitue pas une démonstration constructive de son existence : il faut pour cela en exhiber un et expliquer comment le construire. Si une démonstration est constructive, on doit pouvoir lui associer un algorithme.
Tomographie par émission de positonsvignette|Reconstruction tridimensionnelle de la distribution de glucose marqué au telle que mesurée par tomographie d'émission de positons. Outre l'accumulation normale du traceur dans le cœur, la vessie, les reins et le cerveau, des métastases hépatiques d'une tumeur colorectale sont clairement visibles dans la région abdominale de l'image.
Jan ŽižkaJan Žižka z Trocnova a Kalicha (Jean Žižka de Trocnov et Kalich), né vers 1360 au château seigneurial de Trocnov et mort le , est le chef de guerre des hussites. Il met au point la tactique du qui permet à ceux-ci de tenir tête pendant dix-huit ans (1419-1436) aux armées impériales. par et il est aujourd'hui largement considéré comme un héros national tchèque. vignette|gauche|Jan Žižka. vignette|gauche|Statue équestre de Jan Žižka au mémorial national de Vítkov.
Ryszard KrynickiRyszard Krynicki, né le dans le camp de Wimberg abritant des travailleurs polonais soumis au travail obligatoire à Sankt Valentin en Autriche alors annexée à l'Allemagne, est un poète, parolier, traducteur (de poésie allemande) et éditeur polonais. Il appartient, comme Adam Zagajewski, à la Nouvelle vague littéraire polonaise des années 1968 à 1976. Il grandit à Gorzów Wielkopolski et fait des études de lettres à l'Université Adam Mickiewicz de Poznań. Très jeune, il se heurte à la censure et participe à l'opposition démocratique.
Tom Friedman (artist)Tom Friedman (born 1965) is an American conceptual sculptor. He was born in St. Louis, Missouri and received a BFA in graphic illustration from Washington University in St. Louis (1988) and an MFA in sculpture from the University of Illinois at Chicago (1990.). As a conceptual artist he works in diverse media including sculpture, painting, drawing, video, and installation. For over twenty years, Friedman has been investigating the viewer/object relationship, and "the space in between.
Svalbard et Jan MayenSvalbard et Jan Mayen est un terme statistique qui fait référence à deux territoires norvégiens de l’océan Arctique : l’archipel de Svalbard (ou plus souvent l’archipel du Spitzberg en français, bien que le nom ne désigne normalement que la plus grande île de l’archipel), et l’île Jan Mayen, (non loin du nord-est de l’Islande, ou à l’est du Groenland et à l’ouest de la Norvège continentale), regroupés sous le même code ISO 3166-1 « SJ ».
Giorgio JanGiorgio Jan est un zoologiste, un botaniste et un écrivain italien, né le à Vienne et mort le à Milan. Après avoir été assistant à l’université de Vienne, il obtient le poste de professeur de botanique à l’université de Parme ainsi que la direction du jardin botanique. Il faut signaler qu’à cette époque, le duché de Parme était passé pour la juridiction autrichienne à la suite du congrès de Vienne après la défaite de Napoléon à Waterloo.
Jan ZachariasiewiczJan Chryzostom Zachariasiewicz (ˈjan xrɨˈzɔstɔm zaxarjaˈɕɛvit͡ʂ; 1823–1906; Zacharyasiewicz, Zacharjasiewicz) was a Polish novelist and journalist. Zachariasiewicz was born on 11 September 1823 in Radymno. During 1842–44 he was a prisoner of Špilberk Castle. Co-editor of Tygodnik Polski, where he published poem Machabeusze. For publishing this work and also for participation in Revolutions of 1848, Zachariasiewicz was imprisoned in Terezín for two years. He was a nephew or grandnephew of the bishop Franciszek Zachariasiewicz (1770–1845).
2008–09 Australian bushfire seasonThe Australian bushfire season ran from late December 2008 to April/May 2009. Above average rainfalls in December, particularly in Victoria, delayed the start of the season, but by January 2009, conditions throughout South eastern Australia worsened with the onset of one of the region's worst heat waves. On 7 February, extreme bushfire conditions precipitated major bushfires throughout Victoria, involving several large fire complexes, which continued to burn across the state for around one month.
Compacité (mathématiques)En topologie, on dit d'un espace qu'il est compact s'il est séparé et qu'il vérifie la propriété de Borel-Lebesgue. La condition de séparation est parfois omise et certains résultats demeurent vrais, comme le théorème des bornes généralisé ou le théorème de Tychonov. La compacité permet de faire passer certaines propriétés du local au global, c'est-à-dire qu'une propriété vraie au voisinage de chaque point devient valable de façon uniforme sur tout le compact.
