Théorème de DonskerEn théorie des probabilités, le théorème de Donsker établit la convergence en loi d'une marche aléatoire vers un processus stochastique gaussien. Il est parfois appelé le théorème central limite fonctionnel. Ce théorème est une référence pour la convergence en loi de marches aléatoires renormalisées vers un processus à temps continus. De nombreux théorèmes sont alors dits de « type Donsker ». Soient une suite iid de variables aléatoires centrées, de carré intégrable et de variance .
Théorème de Banach-SteinhausLe théorème de Banach-Steinhaus fait partie, au même titre que le théorème de Hahn-Banach et le théorème de Banach-Schauder, des résultats fondamentaux de l'analyse fonctionnelle. Publié initialement par Stefan Banach et Hugo Steinhaus en 1927, il a aussi été prouvé indépendamment par Hans Hahn, et a connu depuis de nombreuses généralisations. La formulation originelle de ce théorème est la suivante : Lorsque E est un espace de Banach (donc de Baire), il suffit donc que la famille soit simplement bornée sur une partie comaigre, comme E lui-même.
Widest path problemIn graph algorithms, the widest path problem is the problem of finding a path between two designated vertices in a weighted graph, maximizing the weight of the minimum-weight edge in the path. The widest path problem is also known as the maximum capacity path problem. It is possible to adapt most shortest path algorithms to compute widest paths, by modifying them to use the bottleneck distance instead of path length. However, in many cases even faster algorithms are possible.
Ordinal priority approachOrdinal priority approach (OPA) is a multiple-criteria decision analysis method that aids in solving the group decision-making problems based on preference relations. Various methods have been proposed to solve multi-criteria decision-making problems. The basis of most methods such as analytic hierarchy process and analytic network process is pairwise comparison matrix. The advantages and disadvantages of the pairwise comparison matrix were discussed by Munier and Hontoria in their book.
Hilbert's second problemIn mathematics, Hilbert's second problem was posed by David Hilbert in 1900 as one of his 23 problems. It asks for a proof that the arithmetic is consistent – free of any internal contradictions. Hilbert stated that the axioms he considered for arithmetic were the ones given in , which include a second order completeness axiom. In the 1930s, Kurt Gödel and Gerhard Gentzen proved results that cast new light on the problem. Some feel that Gödel's theorems give a negative solution to the problem, while others consider Gentzen's proof as a partial positive solution.
