Wang Hao (logicien)





image illustrant la logique


Cet article est une ébauche concernant la logique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.





Page d'aide sur l'homonymie Pour les articles homonymes, voir Wang Hao et Wang (patronyme).


Wang Hao

une illustration sous licence libre serait bienvenue

























Biographie
Naissance

20 mai 1921 ou 21 mai 1921Voir et modifier les données sur Wikidata
JinanVoir et modifier les données sur Wikidata
Décès

13 mai 1995Voir et modifier les données sur Wikidata
New YorkVoir et modifier les données sur Wikidata
Nationalité

ChinoisVoir et modifier les données sur Wikidata
Formation

Université HarvardVoir et modifier les données sur Wikidata
Activités

Mathématicien, philosopheVoir et modifier les données sur Wikidata

















Autres informations
A travaillé pour

Université HarvardVoir et modifier les données sur Wikidata
Membre de

British Academy
Académie américaine des arts et des sciencesVoir et modifier les données sur Wikidata
Directeur de thèse

Willard Van Orman QuineVoir et modifier les données sur Wikidata

modifier - modifier le code - modifier WikidataDocumentation du modèle



Wang Hao (chinois simplifié : 王皓 pinyin : Wáng Hào) (20 mai 1921 ou 21 mai 1921 à Jinan (Chine) - 13 mai 1995 à New York) est un logicien, philosophe et mathématicien sino-américain.




Sommaire






  • 1 Biographie


  • 2 Bibliographie


  • 3 Voir aussi


    • 3.1 Articles connexes


    • 3.2 Liens externes







Biographie |


Hao Wang a inventé à la fin des années 1950 un modèle de calculabilité similaire à la machine de Turing : La machine de Wang, où le graphe d'état a été remplacé par une suite d'instructions (l'idée a été publiée en 1936 par Emil Post).


Il a également créé un modèle de calculabilité par des pavages ou dominos (jeu). Ses étudiants ont suggéré des pièces de puzzle à la place des pavés, et ont démontré au début des années 1960 l'existence de pavages non périodiques du plan.


Hao Wang est également connu pour avoir été le premier à programmer un ordinateur pour faire des démonstrations mathématiques.


Enfin il a été le dernier logicien à fréquenter Kurt Gödel à la fin de sa vie, et il a publié un livre de philosophie rédigé d'après les notes de ses entrevues avec Gödel: A logical journey: From Gödel to philosophy. Il était le seul homme présent aux obsèques de Gödel, aux côtés de la veuve, et d'un amie.



Bibliographie |




  • From Mathematics to Philosophy, Routledge & Kegan Paul, London, 1974.


  • Popular Lectures on Mathematical Logic, Van Nostrand, NY, 1981, (ISBN 0-486-67632-3)



Voir aussi |



Articles connexes |



  • Jin Yuelin

  • Feng Youlan



Liens externes |




  • Notices d'autoritéVoir et modifier les données sur Wikidata : Fichier d’autorité international virtuel • International Standard Name Identifier • Bibliothèque nationale de France (données) • Système universitaire de documentation • Bibliothèque du Congrès • Gemeinsame Normdatei • Bibliothèque nationale de la Diète • WorldCat

  • Bibliographie développée en ligne



  • Portail de la logique Portail de la logique



-

Popular posts from this blog

What visual should I use to simply compare current year value vs last year in Power BI desktop

Image
0 I have column SubToBind that shows current year ratio and column PY SubToBind which shows previous year ratio. How can I simply create a card that would be displaying them both in a nice way? Something like that: I cannot achieve that with regular card, I also tried Card with States by OKViz but also unable to see both values. In KPI visual - I dont like the word "Goal", it will confuse end users. Are there any cards or other visuals that would do the job? Thanks powerbi dax powerbi-embedded share | improve this question edited Jun 11 '18 at 20:11 Oleg
Read more

Alexandru Averescu

Image
Alexandre Averescu Alexandru Averescu Naissance 3 avril 1859 Babele, Ismail  (ro) près de Izmaïl (principauté de Moldavie) Décès 2 octobre 1938 (à 79 ans) [ 1 ] Bucarest Origine   Roumanie Arme cavalerie Grade Maréchal Années de service 1901-1917 Commandement chef d'état-major général 2 e  armée 3 e  armée Groupe d'armée sud armée du Danube Conflits Guerre russo-turque de 1877-1878 Deuxième guerre balkanique Première Guerre mondiale Faits d'armes Bataille de Turtucaia/Tutrakan Bataille de Mărăști Distinctions Autres fonctions 3 fois président du Conseil des ministres ministre des Affaires étrangères ministre sans portefeuille conseiller de la Couronne modifier   Alexandre Averescu (en roumain : Alexandru Averescu .mw-parser-output .prononciation>a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/8/8a/Loudspeaker.svg/11px-Loudspeaker.svg.png")center
Read more

Trompette piccolo

Image
Ne doit pas être confondu avec trompette de poche. Trompette piccolo en si bémol, avec des branches d'embouchure différentes pour le si bémol (la plus courte) ou la (la plus longue) Trompette piccolo La trompette piccolo est la plus petite de la famille des trompettes. Elle joue une octave plus haut que la trompette standard en si bémol. La plupart des trompettes piccolo sont conçues pour jouer dans les deux tonalités de si bémol ou la, en utilisant une branche d'embouchure différente pour chaque tonalité. Le tube de la trompette piccolo en si bémol a une longueur moitié de celle de la trompette normale en si bémol. Des trompettes piccolo en sol, fa, ut sont également fabriquées, mais elles sont rares. La trompette soprano en ré, aussi connu comme la « trompette Bach », a été inventée vers 1890 par le facteur belge Victor-Charles Mahillon pour jouer les parties hautes de la trompette dans la musique de Bach et Haendel. La trompette piccolo moderne permet aux
Read more