Fraction dyadiquevignette|upright=1.2|Fractions rationnelles dyadiques dans l'intervalle de 0 à 1|alt=Intervalle unité subdivisé en 1/128 èmes En mathématiques, une fraction dyadique ou rationnel dyadique est un nombre rationnel qui peut s'écrire sous forme de fraction avec pour dénominateur une puissance de deux. On peut noter l'ensemble des nombres dyadiques formellement par Par exemple, 1/2 ou 3/8 sont des fractions dyadiques, mais pas 1/3.
Rationnel de GaussEn mathématiques, un est un nombre complexe dont les parties réelle et imaginaire sont des nombres rationnels. L'ensemble des rationnels de Gauss est donc C'est un sous-corps de C, généralement noté Q(i) ou Q[i]. Ces nombres tirent leur nom du mathématicien allemand Carl Friedrich Gauss. Q(i) est le corps de rupture du polynôme X + 1. C'est donc un corps quadratique imaginaire et un corps cyclotomique. L'anneau des entiers de Q(i) est l'anneau Z[i] des entiers de Gauss. Son discriminant est –4.
Fonction de BesselEn mathématiques, et plus précisément en analyse, les fonctions de Bessel, appelées aussi quelquefois fonctions cylindriques, découvertes par le mathématicien suisse Daniel Bernoulli, portent le nom du mathématicien allemand Friedrich Wilhelm Bessel. Bessel développa l'analyse de ces fonctions en 1816 dans le cadre de ses études du mouvement des planètes induit par l'interaction gravitationnelle, généralisant les découvertes antérieures de Bernoulli.
Théorie de la démonstrationLa théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du . Hilbert a proposé cette nouvelle discipline mathématique lors de son célèbre exposé au congrès international des mathématiciens en 1900 avec pour objectif de démontrer la cohérence des mathématiques.
Fonction elliptique de WeierstrassEn analyse complexe, les fonctions elliptiques de Weierstrass forment une classe importante de fonctions elliptiques c'est-à-dire de fonctions méromorphes doublement périodiques. Toute fonction elliptique peut être exprimée à l'aide de celles-ci. Supposons que l'on souhaite fabriquer une telle fonction de période 1. On peut prendre une fonction quelconque, définie sur [0, 1] et telle que f(0) = f(1) et la prolonger convenablement. Un tel procédé a des limites. Par exemple, on obtiendra rarement des fonctions analytiques de cette façon.
Entier sans facteur carrévignette|Les nombres qui n'ont pas été rayé sont tous les entiers sans facteur carré jusqu'à 120 En mathématiques et plus précisément en arithmétique, un entier sans facteur carré (souvent appelé, par tradition ou commodité quadratfrei ou squarefree) est un entier relatif qui n'est divisible par aucun carré parfait, excepté 1. Par exemple, 10 est sans facteur carré mais 18 ne l'est pas, puisqu'il est divisible par 9 = 3. Les dix plus petits nombres de la des entiers positifs sans facteur carré sont 1, 2, 3, 5, 6, 7, 10, 11, 13, 14.
Fonction transcendanteEn mathématiques, une fonction ou une série formelle est dite transcendante si elle n'est pas algébrique, c'est-à-dire si elle n'est pas solution d'une équation polynomiale à coefficients polynomiaux par rapport à ses arguments. Cette notion est donc, au même titre que celle de nombre transcendant, un cas particulier de celle d'élément transcendant d'une algèbre sur un anneau commutatif, l'algèbre et l'anneau considérés étant ici soit les fonctions de certaines variables (à valeurs dans un anneau commutatif R) et les fonctions polynomiales en ces variables (à coefficients dans R), soit les séries formelles et les polynômes (en une ou plusieurs indéterminées).
Démonstration (logique et mathématiques)vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
Fonction rationnelleEn mathématiques, une fonction rationnelle est une fonction définie par une fraction rationnelle, c'est-à-dire une dont le numérateur et le dénominateur sont des polynômes. En pratique, l'ensemble de définition est généralement (ensemble des réels) ou (ensemble des complexes). Si P et Q sont deux fonctions polynomiales et si Q n'est pas une fonction nulle, la fonction est définie pour tout x tel que Q(x) ≠ 0 par Une fonction qui n'est pas rationnelle est dite irrationnelle.
Décomposition en produit de facteurs premiersvignette|Décomposition du nombre 864 en facteurs premiers En mathématiques et plus précisément en arithmétique, la décomposition en produit de facteurs premiers, aussi connue comme la factorisation entière en nombres premiers ou encore plus couramment la décomposition en facteurs premiers, consiste à chercher à écrire un entier naturel non nul sous forme d'un produit de nombres premiers. Par exemple, si le nombre donné est 45, la factorisation en nombres premiers est 3 × 5, soit 3 × 3 × 5.
RationalitéEn philosophie, en psychologie et en sociologie, la rationalité est un concept servant à définir et mesurer la capacité de raisonnement, telle qu'elle se manifeste dans un (ou des) comportement(s) humain(s). Plus précisément, le mot désigne la qualité de ce qui, dans l’ordre de la connaissance, est (c'est-à-dire relevant de l'usage de la raison, ou intellect) et de ce qui, plus rarement, dans l’ordre de la pratique, relève du raisonnable.
Philosophie de la logiqueLa philosophie de la logique est une partie de la philosophie des sciences qui s'intéresse à l’ensemble des problèmes théoriques qui relèvent traditionnellement de la logique, comportant essentiellement la question de son essence, son histoire depuis son origine aristotélicienne et à l'intérieur de la question philosophique, de l'extension de son domaine et de ses limites, aux côtés de la philosophie du langage, de la philosophie des sciences, du psychologisme et des mathématiques.
