Matii︠a︡sevich, I︠U︡. V. (I︠U︡riĭ V.)
Overview
Works:  40 works in 77 publications in 4 languages and 1,934 library holdings 

Genres:  Conference papers and proceedings Biographical films History Biography Documentary films Nonfiction films Periodicals 
Roles:  Author, Interviewee, Editor 
Classifications:  QA242, 512.7 
Publication Timeline
.
Most widely held works about
I︠U︡. V Matii︠a︡sevich
 The story of math how numbers explain our universe and reveal unseen worlds by Marcus Du Sautoy( Visual )
 To infinity and beyond mathematics in modern times( Visual )
Most widely held works by
I︠U︡. V Matii︠a︡sevich
Hilbert's tenth problem by
I︠U︡. V Matii︠a︡sevich(
Book
)
14 editions published between 1993 and 1996 in English and Undetermined and held by 445 WorldCat member libraries worldwide
14 editions published between 1993 and 1996 in English and Undetermined and held by 445 WorldCat member libraries worldwide
Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, Russia, July 1114, 1994
: proceedings by
Anil Nerode(
Book
)
10 editions published in 1994 in English and held by 269 WorldCat member libraries worldwide
"This volume presents the refereed papers accepted for the international symposium Logical Foundations of Computer Science '94, Logic at St. Petersburg, held in St. Petersburg, Russia in July 1994. The symposium was the third in a series of joint efforts of logicians from both the former Soviet Union and the West. The volume reflects that the interaction of logic and computer science is an especially fertile ground for interdisciplinary work providing mutual understanding and benefits. The totally 35 papers are devoted to topics as linear logic, Horn clauses, modelchecking, lambdacalculi, modal logic, and problem complexity."PUBLISHER'S WEBSITE
10 editions published in 1994 in English and held by 269 WorldCat member libraries worldwide
"This volume presents the refereed papers accepted for the international symposium Logical Foundations of Computer Science '94, Logic at St. Petersburg, held in St. Petersburg, Russia in July 1994. The symposium was the third in a series of joint efforts of logicians from both the former Soviet Union and the West. The volume reflects that the interaction of logic and computer science is an especially fertile ground for interdisciplinary work providing mutual understanding and benefits. The totally 35 papers are devoted to topics as linear logic, Horn clauses, modelchecking, lambdacalculi, modal logic, and problem complexity."PUBLISHER'S WEBSITE
Julia Robinson and Hilbert's tenth problem(
Visual
)
3 editions published in 2008 in English and Undetermined and held by 108 WorldCat member libraries worldwide
"Julia Robinson was the first woman elected to the mathematical section of the National Academy of Sciences, and the first woman to become president of the American Mathematical Society. While tracing Robinson's contribution to the solution of Hilbert's tenth problem, the film illuminates how her work led to an unusual friendship between Russian and American colleagues at the height of the Cold War."Container
3 editions published in 2008 in English and Undetermined and held by 108 WorldCat member libraries worldwide
"Julia Robinson was the first woman elected to the mathematical section of the National Academy of Sciences, and the first woman to become president of the American Mathematical Society. While tracing Robinson's contribution to the solution of Hilbert's tenth problem, the film illuminates how her work led to an unusual friendship between Russian and American colleagues at the height of the Cold War."Container
Le dixième problème de Hilbert : son indécidabilité by
I︠U︡. V Matii︠a︡sevich(
Book
)
4 editions published in 1995 in French and held by 61 WorldCat member libraries worldwide
4 editions published in 1995 in French and held by 61 WorldCat member libraries worldwide
Desi︠a︡tai︠a︡ problema Gilʹberta by
I︠U︡. V Matii︠a︡sevich(
Book
)
2 editions published in 1993 in Russian and held by 13 WorldCat member libraries worldwide
2 editions published in 1993 in Russian and held by 13 WorldCat member libraries worldwide
First St. Petersburg Conference on Days of Logic and Computability : May 26 to 29, 1999, St. Petersburg, Russia by St. Petersburg Conference on Days of Logic and Computability(
Book
)
3 editions published in 2002 in English and held by 10 WorldCat member libraries worldwide
3 editions published in 2002 in English and held by 10 WorldCat member libraries worldwide
Issledovanii︠a︡ po konstruktivnoĭ matematike i matematicheskoĭ logike(
)
in Russian and held by 8 WorldCat member libraries worldwide
in Russian and held by 8 WorldCat member libraries worldwide
Papers in honor of the Symposium on Logical Foundations of Computer Science, "Logic at St. Petersburg" by 1994, SanktPeterburg) LFCS (3(
Book
)
4 editions published between 1995 and 1996 in English and held by 7 WorldCat member libraries worldwide
4 editions published between 1995 and 1996 in English and held by 7 WorldCat member libraries worldwide
Logic and complexity in computer science by International Conference "Logic and Complexity in Computer Science(
Book
)
2 editions published in 2003 in English and held by 6 WorldCat member libraries worldwide
2 editions published in 2003 in English and held by 6 WorldCat member libraries worldwide
Logical foundations of computer science : third international symposium ; proceedings by
Anil Nerode(
Book
)
3 editions published in 1994 in English and Italian and held by 3 WorldCat member libraries worldwide
3 editions published in 1994 in English and Italian and held by 3 WorldCat member libraries worldwide
Papers presented at the second St. Petersburg days of logic and computability conference on the occasion of the centennial
of Andrey Andreevich Markov, Jr.(
)
1 edition published in 2006 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 2006 in English and held by 2 WorldCat member libraries worldwide
Ma collaboration avec Julia Robinson by
I︠U︡. V Matii︠a︡sevich(
)
in Undetermined and French and held by 2 WorldCat member libraries worldwide
in Undetermined and French and held by 2 WorldCat member libraries worldwide
Devi︠a︡tai︠a︡ Vsesoi︠u︡znai︠a︡ konferent︠s︡ii︠a︡ po matematicheskoĭ logike : Leningrad, 2729 senti︠a︡bri︠a︡ 1988 g. : posvi︠a︡shchaetsi︠a︡
85letii︠u︡ chlenakorrespondenta AN SSSR A.A. Markova : tezisy dokladov by Vsesoi︠u︡znai︠a︡ konferent︠s︡ii︠a︡ po matematicheskoĭ logike(
Book
)
1 edition published in 1988 in Russian and held by 2 WorldCat member libraries worldwide
1 edition published in 1988 in Russian and held by 2 WorldCat member libraries worldwide
Logical foundations of computer science : third International Symposium, LFCS '94, St. Petersburg, Russia, July 1114, 1994
: proceedings by Symposium on Logical Foundations of Computer Science(
)
1 edition published in 1994 in English and held by 1 WorldCat member library worldwide
1 edition published in 1994 in English and held by 1 WorldCat member library worldwide
Issledovaniâ po konstruktivnoj matematike i matematičeskoj logike : sbornik rabot(
Book
)
1 edition published in 1976 in Russian and held by 1 WorldCat member library worldwide
1 edition published in 1976 in Russian and held by 1 WorldCat member library worldwide
Hilbert's 10th Problem by
I︠U︡. V Matii︠a︡sevich(
)
1 edition published in 1993 in English and held by 1 WorldCat member library worldwide
Annotation
1 edition published in 1993 in English and held by 1 WorldCat member library worldwide
Annotation
Logical foundations of computer science Lfcs'94 : third international symposium, LFCS '94, St. Petersburg, Russia, July 1114,
1994 : proceedings(
Book
)
1 edition published in 1994 in English and held by 1 WorldCat member library worldwide
1 edition published in 1994 in English and held by 1 WorldCat member library worldwide
A new representation for the symmetric binomial coefficient and its applications by
James Pickett Jones(
Book
)
1 edition published in 1981 in English and held by 1 WorldCat member library worldwide
1 edition published in 1981 in English and held by 1 WorldCat member library worldwide
Proceedings of the symposium on logical foundations of computer science, " logic at St. Petersburg", St. Petersburg, Russia,
1215.07.1994 by
I︠U︡. V Matii︠a︡sevich(
Book
)
1 edition published in 1996 in English and held by 1 WorldCat member library worldwide
1 edition published in 1996 in English and held by 1 WorldCat member library worldwide
Papers in honor of the Symposium on Logical Foundations of Computer Science, "Logic at St. Petersburg"(
)
1 edition published in 1996 in English and held by 1 WorldCat member library worldwide
1 edition published in 1996 in English and held by 1 WorldCat member library worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Nerode, Anil 1932 Author Editor
 Davis, Martin 1928 Author of introduction Interviewee
 Robinson, Julia 19191985
 Hilbert, David 18621943
 Putnam, Hilary Interviewee
 Csicsery, George Paul Author of screenplay Director
 Silver, Charles L.
 Adler, Mark Composer
 Skloot, Tal Film editor
 McKellar, Danica Narrator
Useful Links
Associated Subjects
Binomial coefficients Bourbaki, Nicolas Cantor, Georg, Cohen, Paul J., Computable functions Computers Computer science Computer software Constructive mathematics Continuum hypothesis Diophantine analysis Electronic data processing Europe Gödel, Kurt Grothendieck, A.(Alexandre) Hilbert, David, Hilbert's tenth problem Hindu mathematics Incompleteness theorems Influence (Literary, artistic, etc.) Logic, Symbolic and mathematical Logic design Machine theory Markov, A. A.(Andreĭ Andreevich), Mathematicians Mathematics Mathematics, Arab Mathematics, Chinese MathematicsPhilosophy Numbers, Prime Number theory Poincaré, Henri, Riemann hypothesis Robinson, Julia, Study skills United States Weil, André, Women Women mathematicians
Alternative Names
Iouri Matiassevitch mathmaticien russe
Joeri Matijasevitsj
Juri Wladimirowitsch Matijassewitsch russischer Mathematiker
Jurij Vladimirovič Matijasevič matematico e informatico russo
Matisevič, . V.
Matisevič, rij.
Matisevič, rij Vladimirovič
Matiasevitch Iour Vladimirovitch
Matii︠a︡sevich, I︠U︡. V.
Matii︠a︡sevich, I︠U︡. V. (I︠U︡riĭ V.)
Matiiasevich Iur Vladimirovich
Matiiasevich, Iurii V.
Matijasevič, Jurij
Matijasevič, Jurij. [t]
Matijassevich, Y.
Matiyasevich, Y.
Matiyasevich, Youri
Matiyasevich, Yu. V.
Matiyasevich, Yuri.
Matiyasevich, Yuri V.
Matiyasevich Yurii V.
Yuri Matiyasevi
Yuri Matiyasevich Russian mathematician and computer scientist
Матиясевич Юрий Владимирович
Матіясевич Юрій Володимирович
유리 마티야세비치
ユーリ・マチャセビッチ
尤里马季亚谢维奇
Languages
Covers