La philosophie des mathématiques est la branche de la philosophie des sciences qui tente de répondre aux interrogations sur les fondements des mathématiques ainsi que sur leur usage. On y croise des questions telles que : « les mathématiques sont-elles nécessaires ? », « pourquoi les mathématiques sont-elles utiles ou efficaces pour décrire la nature ? », « dans quel(s) sens, peut-on dire que les entités mathématiques existent ? » ou « pourquoi et comment peut-on dire qu'une proposition mathématique est vraie ? ».
Le Soleil est l’étoile du Système solaire. Dans la classification astronomique, c’est une étoile de type naine jaune d'une masse d'environ , composée d’hydrogène (74 % de la masse ou 92 % du volume) et d’hélium (25 % de la masse ou 8 % du volume). Le Soleil fait partie de la galaxie appelée la Voie lactée et se situe à du centre galactique, dans le bras d'Orion. Le Soleil orbite autour du centre galactique en une année galactique de 225 à d'années.
était un constructeur d’ordinateurs et un éditeur de logiciels américain. Le , Sun est racheté par Oracle Corporation pour 7,4 milliards de dollars. Avant son rachat, le chiffre d’affaires de l’entreprise était de de dollars pour l'année fiscale 2007-2008 et l’effectif d’environ (2006). Sun était présent dans plus de (2005). Le nom Sun vient de Stanford University Network (réseau de l’université Stanford). Sun a produit des serveurs et stations de travail fondés sur les processeurs m68k, SPARC et x86, et le système d’exploitation Solaris, anciennement SunOS.