Géométrie absolueLa géométrie absolue (parfois appelée géométrie neutre) est une géométrie basée sur le système d'axiomes de la géométrie euclidienne, privé de l'axiome des parallèles ou de sa négation. Elle est formée des résultats qui sont vrais à la fois en géométrie euclidienne et en géométrie hyperbolique, parfois énoncés sous une forme affaiblie par rapport à l'énoncé euclidien traditionnel. La géométrie absolue fut introduite (sous ce nom) par János Bolyai en 1832 ; le terme de géométrie neutre (sous-entendu par rapport à l'axiome des parallèles) lui a été parfois préféré, pour éviter de donner l'impression que toute autre géométrie en découle.
Mathématiques indiennesLa chronologie des mathématiques indiennes s'étend de la civilisation de la vallée de l'Indus (-3300 à -1500) jusqu'à l'Inde moderne. Parmi les contributions des mathématiciens indiens au développement de la discipline, la plus féconde est certainement la numération décimale de position, appuyée sur des chiffres indiens, empruntés par les Arabes et qui se sont imposés dans le monde entier. Les Indiens ont maîtrisé le zéro, les nombres négatifs, les fonctions trigonométriques.
L'Art d'édifierL'Art d'édifier (latin du titre original : De re ædificatoria) est un traité d'architecture de Leon Battista Alberti, constructeur, ingénieur, théoricien et écrivain de la Renaissance italienne. Il porte sur l'importance anthropologique de l'architecture ainsi que de sa vocation anthropométrique (genèse des vocations humaines). Leon Battista Alberti commence à travailler sur un commentaire du traité De architectura (qui signifie en français « De l'architecture ») de Vitruve, dans les années 1440, à la demande de Lionel d'Este ; cependant, il décide finalement d'écrire un nouveau traité d'architecture.
Fondements des mathématiquesLes fondements des mathématiques sont les principes de la philosophie des mathématiques sur lesquels est établie cette science. Le logicisme a été prôné notamment par Gottlob Frege et Bertrand Russell. La mathématique pure présente deux caractéristiques : la généralité de son discours et la déductibilité du discours mathématique . En ce que le discours mathématique ne prétend qu’à une vérité formelle, il est possible de réduire les mathématiques à la logique, les lois logiques étant les lois du « vrai ».
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.
Histoire des notations mathématiquesLhistoire des notations mathématiques décrit les débuts, les progrès et la diffusion culturelle des symboles mathématiques et les conflits entre méthodes de notation qui ont mené à leur généralisation ou leur marginalisation. La notation mathématique comprend les symboles utilisés pour écrire des équations et formules mathématiques. La notation implique généralement un ensemble de représentations de quantités et d'opérateurs symboliques.
