Wu Wen-Tsun: Tradiční čínská matematika jako inspirace

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11210%2F12%3A10125997" target="_blank" >RIV/00216208:11210/12:10125997 - isvavai.cz</a>
Výsledek na webu
<a href="http://www.karlin.mff.cuni.cz/katedry/kdm/sborniky/sbornik-33.pdf" target="_blank" >http://www.karlin.mff.cuni.cz/katedry/kdm/sborniky/sbornik-33.pdf</a>
DOI - Digital Object Identifier
—

Jazyk výsledku
čeština
Název v původním jazyce
Wu Wen-Tsun: Tradiční čínská matematika jako inspirace
Popis výsledku v původním jazyce
Wu Wen-Tsun je čínský algebraický topolog, který od 70. let 20. st. vyvíjí automatické dokazování vět a "mechanizaci matematiky", přičemž zdůrazňuje vliv tradiční čínské matematiky na svou práci. Tento důraz na inspiraci mu sloužil jako způsob jak získatzdroje pro nezávislý rozvoj čínské matematiky v relativní mezinárodní izolaci a pod ustavičným tlakem na praktickou orientaci výzkumu.
Název v anglickém jazyce
Wu Wen-Tsun: Traditional Chinese mathematics as inspiration
Popis výsledku anglicky
Wu Wen-Tsun is a Chinese algebraic topologist, who has since the 1970s developed automated theorem proving and "mechanisation of mathematics", emphasising the influence of traditional Chinese mathematics on his work. This emphasis served him as a way ofgenerating resources for the independent development of mathematics in relative isolation and under relentless pressure for practical research orientation.

Projekt
<a href="/cs/project/LK11218" target="_blank" >LK11218: Dekonstrukce a konstrukce národních tradic a věda v Číně</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2012
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Podobné výsledky(10)