Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The logician Kurt Godel in 1951 established a disjunctive thesis about the scope and limits of mathematical knowledge: either the mathematical mind is not equivalent to a Turing machine (i.e., a computer), or there are absolutely undecidable mathematical problems. In the second half of the twentieth century, attempts have been made to arrive at a stronger conclusion. In particular, arguments have been produced by the philosopher J.R. Lucas and by the physicist and mathematician Roger Penrose that intend to show that the mathematical mind is more powerful than any computer. These arguments, and counterarguments to them, have not convinced the logical and philosophical community. The reason for this is an insufficiency if rigour in the debate. The contributions in this volume move the debate forward by formulating rigorous frameworks and formally spelling out and evaluating arguments that bear on Godel's disjunction in these frameworks. The contributions in this volume have been written by world leading experts in the field.

Mathematics --- Logic, Symbolic and mathematical --- Mathématiques --- Logique mathématique --- Philosophy --- Philosophie --- Gödel, Kurt --- Logique mathématique. --- Philosophie. --- Mathématiques --- Logique mathématique.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Cet ouvrage s'adresse à tous ceux qui souhaitent maitriser les bases du raisonnement numérique : élèves, étudiants, demandeurs d'emploi et, plus généralement, tous les candidats confrontés à un test de raisonnement numérique. Il est destiné plus particulièrement :- à ceux qui ont (ou pensent avoir) un faible niveau en mathématiques ;- à ceux qui ont acquis de bonnes connaissances en mathématiques, mais n'ont plus eu l'occasion de les utiliser depuis plusieurs années.Les tests de raisonnement numérique sont de plus en plus utilisés dans les procédures de recrutement, notamment de la fonction publique (tests Selor en Belgique, tests EPSO dans les institutions européennes, etc.). On les trouve également dans les examens d'entrée à certaines grandes écoles et universités, comme en France, aux Etats-Unis ou en Grande-Bretagne (GMAT, GRE, etc.).Les tests de raisonnement numérique évaluent la capacité des candidats à comprendre et à analyser des données numériques. Ils peuvent se présenter sous différentes formes : suites de nombres à compléter, opérations à trous, résultats à estimer, problèmes à résoudre à partir d'un texte, d'un tableau ou d'un graphique, etc.Pour réussir ces tests, les candidats doivent utiliser les techniques de calcul et de raisonnement appropriées. Cet ouvrage les explique en détail. Il comprend : - une méthodologie détaillée illustrée par de nombreux exemples ; - 150 questions classées par thème et par niveau de difficulté ; - un corrigé détaillé de chaque question.

Tests Tests --- Examens Examens --- Evaluation Evaluatie --- Analyse numérique --- Raisonnement --- Logique mathématique --- Tests. --- Logic, Symbolic and mathematica --- Test-taking skills --- Logique symbolique et mathématique --- Habilité au test --- Tests --- Logic, Symbolic and mathematical --- Testing.