Undecidable problemIn computability theory and computational complexity theory, an undecidable problem is a decision problem for which it is proved to be impossible to construct an algorithm that always leads to a correct yes-or-no answer. The halting problem is an example: it can be proven that there is no algorithm that correctly determines whether arbitrary programs eventually halt when run. A decision problem is a question which, for every input in some infinite set of inputs, answers "yes" or "no"..
LuminanceLa luminance est une grandeur correspondant à la sensation visuelle de luminosité d'une surface. La luminance est la puissance de la lumière visible passant ou étant émise en un élément de surface dans une direction donnée, par unité de surface et par unité d'angle solide. Quand la visibilité ou non du rayonnement électromagnétique importe peu, on parle de luminance énergétique ou radiance. En photométrie, on applique au rayonnement une pondération en fréquence basée sur la sensibilité de l'œil humain.
Lux (unité)Le lux est une unité de mesure de l'éclairement lumineux (symbole : lx). Il caractérise l'intensité lumineuse reçue par unité de surface. Un lux est l'éclairement d'une surface qui reçoit, d'une manière uniformément répartie, un flux lumineux d'un lumen par mètre carré. avec lumen (unité de mesure de flux lumineux) ; stéradian (unité de mesure d'angle solide) ; candela (unité de mesure d'intensité lumineuse). L'appareil de mesure de l'éclairement lumineux est le luxmètre.
Libre arbitreLe libre arbitre, parfois orthographié libre-arbitre, est la faculté qu’aurait l'être humain de se déterminer librement et par lui seul, à agir et à penser, par opposition au déterminisme ou au fatalisme, qui affirment que la volonté serait déterminée dans chacun de ses actes par des « forces » qui l’y obligent. « Se déterminer à » ou « être déterminé par » illustrent l’enjeu de l’antinomie du libre arbitre d'un côté et du destin ou de la « nécessité » de l'autre.
Monisme anomaldroite|vignette|300x300px| Différence entre la théorie classique de l'identité et le monisme anomal. Pour la théorie de l'identité, chaque instanciation de token d'un seul type mental correspond (comme indiqué par les flèches) à un token physique d'un seul type physique. Il y a donc identité de type. Pour le monisme anomal, les correspondances token-token peuvent tomber en dehors des correspondances type-type. Le résultat est une identité de token. Le monisme anomal est une thèse philosophique sur la relation corps-esprit.
Light-secondThe light-second is a unit of length useful in astronomy, telecommunications and relativistic physics. It is defined as the distance that light travels in free space in one second, and is equal to exactly 299 792 458 metres (approximately 983 571 055 ft). Just as the second forms the basis for other units of time, the light-second can form the basis for other units of length, ranging from the light-nanosecond (299.8mm or just under one international foot) to the light-minute, light-hour and light-day, which are sometimes used in popular science publications.
