ñòð. 27 |

14:50–15:35 P. Martin-Lof Can classical mathematics be

interpreted constructively?

15:35–15:50 Break

15:50–16:35 S. N. Artemov Kolmogorov and Godel on

intuitionistic logic: recent

developments

16:40–17:25 L. Levin Unsolvability and problems with

multiple solutions

June 18, Wednesday

45-minute Talks (Auditorium 13-11)

14:00–14:45 Yu. L. Ershov Theory of numberings

14:50–15:35 O. B. Lupanov A. N. Kolmogorov and mathematical

theory of schemes complexity

15:35–15:50 Break

15:50–16:35 Yu. Gurevich From Kolmogorov machines to

abstract states machines

16:40–17:25 L. D. Beklemishev Independent combinatorial principles

and provability algebras

June 19, Thursday

20-minute Talks (Auditorium 13-11)

S. M. Ermakov

9:30–9:50 On comparative complexity of some

stochastic and deterministic algorithms

9:50–10:10 M. V. Volkov Piecewise testable languages of a

given height and identities of monoids

of re?exive relations

10:10–10:30 A. A. Shum Semantic systems

102

10:30–10:40 Break

10:40–11:00 O. V. Kamozina Algebraic lattices of Fitting classes

11:00–11:20 A. N. Frolov Ershov algebras with a computable

copy

June 20, Friday

45-minute Talks (Auditorium 13-11)

14:00–14:45 Yu. V. Matiyasevich Diophantine version of Kolmogorov

complexity

14:50–15:35 P. Vitanyi Kolmogorov’s structure functions with

an application to the foundations of

model selection

15:35–15:50 Break

15:50–16:35 A. A. Muchnik, 40 years of the origin of Kolmogorov

A. L. Semenov randomness theory

16:40–17:25 A. Shen, Kolmogorov interpretation of

N. K. Vereshchagin intuitionistic logic and Kolmogorov

complexity

June 21, Saturday

20-minute Talks (Auditorium 13-11)

14:00–14:20 M. N. Rybakov, On the complexity of modal logics

A. V. Chagrov possessing a provable interpretation

with limitations on the number of

variables

14:20–14:40 V. B. Alekseev On the complexity of recognition of

S-expressibility of K-valued logics

14:40–15:00 V. G. Kanovei, On the existence of denable non-

V. A. Lyubetsky regular sets of reals

15:00–15:10 Break

15:10–15:30 V. K. Zakharov, Maclane’s problem on foundations of

P. V. Andreev, category theory and local theory of

E. I. Bunina, sets

A. V. Mikhalev

15:30–15:50 M. V. Patlasov, Diagnostic formulas for intuitionistic

V. E. Plisko and minimal propositional calculi

15:50–16:10 A. E. Romashchenko Information inequalities: Shannon

and Kolmogorov approaches

16:10–16:20 Break

103

16:20–16:40 A. Drago Kolmogorov and the relevance of the

double negation law in science

16:40–17:00 T. J. Stepien On the scope of the structural

completeness in the functional

calculi with identity

Section 5

TURBULENCE AND HYDRODYNAMICS

June 17, Tuesday

45-minute Talks (Auditorium 6-11)

14:00–14:45 G. I. Barenblatt Turbulent boundary layers at very

high Reynolds numbers

14:50–15:35 G. S. Golitsyn Kolmogorov ideas for turbulence

in other areas of hydrodynamics,

geophysics, and astrophysics

15:35–15:50 Break

15:50–16:35 V. Zakharov Kolmogorov spectra in weak

turbulence

20-minute Talks (Auditorium 6-11)

17:00–17:20 S. Ya. Gertsenstein Hydrodynamic turbulence in

solutions of Navier–Stokes equations

17:20–17:40 F. V. Dolzhanskii, On mechanical prototypes of

V. M. Ponomarev fundamental hydrodynamical

invariants and slow manifolds

17:40–18:00 V. A. Vladimirov Virial equalities in ?uid dynamics

18:00–18:10 Break

18:10–18:30 V. L. Zimont Kolmogorov method and turbulence

combustion modeling

18:30–18:50 E. Shchepakina, Modelling of critical phenomena in

V. Sobolev autocatalytic combustion

June 18, Wednesday

45-minute Talks (Auditorium 6-11)

14:00–14:45 A. L. Shnirelman To be announced

14:50–15:35 V. I. Yudovich Cosymmetry and its application in

?uid dynamics

15:35–15:50 Break

104

15:50–16:35 O. E. Barndorff- Levy-based tempo-spatial modeling;

Nielsen with application to turbulence

20-minute Talks (Auditorium 6-11)

17:00–17:20 L. I. Piterbarg Lyapunov exponents for stochastic

?ows modeling upper ocean turbulence

17:20–17:40 A. Sobolevski, A variational approach to the Burgers

K. Khanin, turbulence in an unbounded domain

D. Khmelev

17:40–18:00 M. D. Missarov To be announced

18:00–18:10 Break

18:10–18:30 Yu. E. Gliklikh A certain probabilistic Lagrangian

approach to non-stochastic viscous

hydrodynamics

18:30–18:50 N. Nadirashvili Global solutions of the Kolmogorov

Petrovskii–Piskunov equation

18:50–19:10 L. M. Berkovich Nonlinear equations: factorization,

linearization, exact solutions

June 19, Thursday

45-minute Talks (Auditorium 6-11)

9:30–10:15 B. L. Rozovsky Stochastic Navier–Stokes equations:

propagation of chaos and statistical

moments

20-minute Talks (Auditorium 6-11)

10:30–10:50 Yu. Chashechkin, Mathematical modelling of free

G. G. Chernykh, turbulent ?ows

N. P. Moshkin,

O. F. Voropaeva, A. G. Demenkov,

B. B. Ilyushin, V. A. Kostomakha

10:50–11:10 O. A. Alduchov, 3D correlation functions of

V. A. Gordin meteorological models.

Methods and results

11:10–11:30 A. M. Blokhin, Stability of ?ow with a strong shock

D. L. Tkachev around an in?nite wedge

11:30–11:40 Break

11:40–12:00 S. V. Ershov, Seismo-hydro-electromagnetic

I. B. Mikhaylovskaya, tsunami wave

O. B. Novik

105

12:00–12:20 M. V. Semenov, Investigation of gas ?ows round a

Yu. V. Sheretov ball on the base of quasi-

hydrodynamic equations in Stokes

approximation

12:20–12:40 A. Yu. Plakhov The Newton problem on the minimal

resistance in the class of bodies of

?xed volume

ñòð. 27 |