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

How to ignore python UserWarning in pytest?

Image
up vote 1 down vote favorite I am using openpyxl for parsing .xlsm files, and pytest for testing. When I open a file, I get the: OpenPyxl -> UserWarning: Data Validation extension is not supported and will be removed That is not really a problem bcs. program works and I can't change the .xlsm file to fix that. But... When I run pytest with something like: def test_wrong_file_format(): assert check_excel(open_excel('file.xlsm')) == True I will get the warning i mentioned altought check_excel(open_excel('file.xlsm')) returns True and the test should suceed... Is there a nice way to tell the pytest that "It's not a bug it's a feature" and tests should pass even when they get this warning? Is there other way than using something like: with pytest.warns(UserWarning): ...
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