Grèce antiquevignette|La Grèce antique au La Grèce antique est une civilisation de l'Antiquité des peuples de langue et de culture grecque développée en Grèce et dans la partie occidentale de l'Asie Mineure, puis, à la suite de plusieurs phases d'expansion, dans d'autres régions du bassin méditerranéen (Chypre, Sicile, Italie du sud, Égypte, Cyrénaïque) et du Proche-Orient (Syrie, Palestine), constituant des points d'implantation jusque dans les actuelles Espagne et France à l'ouest et sur le territoire de l’actuel Afgha
Théorie des nombresTraditionnellement, la théorie des nombres est une branche des mathématiques qui s'occupe des propriétés des nombres entiers (qu'ils soient entiers naturels ou entiers relatifs). Plus généralement, le champ d'étude de cette théorie concerne une large classe de problèmes qui proviennent naturellement de l'étude des entiers. La théorie des nombres occupe une place particulière en mathématiques, à la fois par ses connexions avec de nombreux autres domaines, et par la fascination qu'exercent ses théorèmes et ses problèmes ouverts, dont les énoncés sont souvent faciles à comprendre, même pour les non-mathématiciens.
AngleEn géométrie, la notion générale d'angle se décline en plusieurs concepts. Dans son sens ancien, l'angle est une figure plane, portion de plan délimitée par deux demi-droites. C'est ainsi qu'on parle des angles d'un polygone. Cependant, l'usage est maintenant d'employer le terme « secteur angulaire » pour une telle figure. L'angle peut désigner également une portion de l'espace délimitée par deux plans (angle dièdre). La mesure de tels angles porte couramment mais abusivement le nom d'angle, elle aussi.
Entier naturelEn mathématiques, un entier naturel est un nombre permettant fondamentalement de compter des objets considérés comme des unités équivalentes : un jeton, deux jetons... une carte, deux cartes, trois cartes... Un tel nombre entier peut s'écrire avec une suite finie de chiffres en notation décimale positionnelle (sans signe et sans virgule). L’étude des entiers naturels est l’objet de l’arithmétique, branche des mathématiques, constituée dès l'Antiquité grecque.
Eudoxe de CnideEudoxe de Cnide, en grec ancien (–), est un astronome, géomètre, médecin et philosophe grec. Contemporain de Platon, il tenta le premier de formuler une théorie sur le mouvement des planètes. Ses travaux sont connus d’Archimède. Né à Cnide, en Carie (Asie Mineure) dans une famille fort pauvre, il apprend la géométrie auprès du pythagoricien Archytas (vers ) et la médecine auprès de Philistion de Sicile. À 23 ans, il se rend à Athènes, peut-être chez les cyrénaïques, dont il partageait les idées morales.
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.
ArchimèdeArchimède de Syracuse (en grec ancien : / Arkhimếdês), né à Syracuse vers 287 av. J.-C. et mort en cette même ville en 212 av. J.-C., est un grand scientifique grec de Sicile (Grande-Grèce) de l'Antiquité, physicien, astronome, mathématicien et ingénieur. Bien que peu de détails de sa vie soient connus, il est considéré comme l'un des principaux scientifiques de l'Antiquité classique. Parmi ses domaines d'étude en physique, on peut citer l'hydrostatique , la mécanique statique, et l'explication du principe du levier.
Système axiomatiqueEn mathématiques, un système axiomatique est un ensemble d'axiomes dont certains ou tous les axiomes peuvent être utilisés logiquement pour dériver des théorèmes. Une théorie consiste en un système axiomatique et tous ses théorèmes dérivés. Un système axiomatique complet est un type particulier de système formel. Une théorie formelle signifie généralement un système axiomatique, par exemple formulé dans la théorie des modèles. Une démonstration formelle est une interprétation complète d'une démonstration mathématique dans un système formel.
