Supremum

"supremum" dans l'encyclopédie

• DUFAY GUILLAUME

  • Écrit par Roger BLANCHARD
  • 20 154 mots
  • 1 média

  En 1433, à l'occasion du traité de paix signé entre le pape et l'empereur d'Allemagne Sigismond, Dufay compose son motet Supremum est mortalibus. Citons aussi le célèbre Nuper rosarum flores, écrit pour la consécration par Eugène IV, le 25 mars 1436, de la cathédrale Santa Maria del Fiore de Florence. Une interruption, cependant, à ce service pontifical : en 1434, Dufay se rend à la cour de Savoie, auprès d'Amédée VIII (l'antipape Félix V), avec qui il conservera des rapports suivis.

• SOHRAWARDĪ ou SUHRAWARDĪ SHIHĀBODDĪN YAHYĀ (1155-1191)

  • Écrit par Christian JAMBET
  • 27 715 mots

  Ne nous y trompons pas : elle n'est en rien l'ens supremum, l'étant suprême qui clôturerait la hiérarchie des êtres. Elle est plutôt l'un unifiant, principe de sa propre multiplication qui, selon une hiérarchie arithmologique complexe, va prendre le chemin suivant. Tout d'abord l'ordre longitudinal des lumières archangéliques primordiales. Elles descendent en droite ligne de la lumière des lumières et correspondent au panthéon des Amahraspands, des archanges zoroastriens.

• DÉMONSTRATION THÉORIE DE LA

  • Écrit par Jean-Yves GIRARD
  • 33 765 mots
  • 1 média

  Gentzen utilisa comme méthode l'induction transfinie jusqu'à ε0, où ε0 est défini comme le suprémum des ordinaux ωn, avec ω0 = 1, ωn+1 = ωωn). Dans les années cinquante, Schütte allait donner une version plus accessible de ces mêmes résultats : essentiellement, l'arithmétique de Peano est obtenue à partir du calcul des prédicats en ajoutant le schéma d'axiomes d'induction :où A est un énoncé arbitraire.