Łukasz T. Stępień

Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie
Katedra Informatyki i Metod Komputerowych

The Pedagogical University in Krakow
Chair of Computer Sciences and Computer Methods

Dr Łukasz T. Stępień

Selected Publications

1. "Perturbations of planar interfaces in Ginzburg-Landau models", (Co-Authors: Henryk Arodz and Robert Pelka): H. Arodz, R. Pelka and L. Stepien Acta Phys. Pol. B 32 , (4), 1173 (2001).

2. "The Bogomolny decomposition for systems of two generalized nonlinear partial differential equations of the second order" (Co-Authors: Danuta Sokalska and Krzysztof Sokalski): L. Stepien, D. Sokalska and K. Sokalski, J. Nonl. Math. Phys., 16, No. 1, 25 (2009).

3. "Some decomposition method for analytic solving of certain nonlinear partial differential equations in physics with applications": L. T. Stepien, J. Comp. Appl. Math., 233, (6), 1607 (2010).

4. L. T. Stepien, "Selected methods of software engineering in teaching of some school subjects", in the book "Information technologies in teacher's methods" (Editors: Jacek Migdalek and Wojciech Folta), KSIEGARNIA AKADEMICKA, Krakow 2010 (in Polish).

5. "On the consistency of Peano's Arithmetic System" , (Co-Author: Teodor Stepien): T. J. Stepien and L. T. Stepien, Bull. Symb. Logic 16, No. 1, 132 (2010).
http://www.math.ucla.edu/~asl/bsl/1601-toc.htm

This above link leads to the Proceedings of the Conference "2009 European Summer Meeting of Association for Symbolic Logic, Logic Colloquium'09" (July 31 - August 5, 2009, Sofia, Bulgaria) . There, on the page 132, is published the abstract of the talk "On consistency of Peano's Arithmetic System", delivered by me, commonly with Dr Teodor Stepien, at "Logic Colloquium 2009" (July 31 - August 5, 2009, Sofia, Bulgaria). During this talk, we presented a sketch of the proof of the consistency of Peano's Arithmetic System (of course, the FULL proof was constructed by us before the mentioned Conference "Logic Colloquium 2009"). This proof is ABSOLUTELY ELEMENTARY, i.e. there are used ONLY the axioms of first-order logic and the axioms of Peano's Arithmetic System.

Hence, from the construction of this proof, it follows that Gödel's Second Incompleteness Theorem is INVALID.

6. "Atomic entailment and classical entailment", (Co-Author: Teodor Stepien): T. J. Stepien and L. T. Stepien, Bull. Symb. Logic 17, No. 2, 317-318 (2011). http://www.math.ucla.edu/~asl/bsl/1702-toc.htm

This above link leads to the Proceedings of the Conference "2010 European Summer Meeting of Association for Symbolic Logic, Logic Colloquium 2010" (July 25 - 31, 2010, Paris, France). There on the pages 317-318 is published the abstract of the talk "Atomic entailment and classical entailment". We presented, during this talk, the definitions of: atomic entailment and classical entailment. Atomic entailment allows to avoid the paradoxes of material implication. The problem of the paradoxes of material implication, has been known, as the problem of relevance, since the times of Aristotle. We showed also the connection between atomic entailment and classical entailment and we presented the theorem, saying that Peano's Arithmetic System can be based on atomic entailmet.

The branch of physics, in which I am engaged (in Polish):

Tzw. solitony, bardzo ciekawe rozwiązania nieliniowych równań ewolucji czasowej.

I found these two below figures of solitons on Prof. Alex Kasman's soliton page:
http://math.cofc.edu/faculty/kasman/SOLITONPICS/index.html

and I placed it here ( with Prof. Kasman's consent ):

Tak się zderzaja tzw. solitony równania KdV.

A oto rownanie KdV: No Title

u_,t -6 u u_,x + u_,xxx = 0

(1)

File translated from T_EX by T_TH, version 3.85.
On 09 Feb 2009, 01:12.

Inne rownanie solitonowe, to rownanie sinus-Gordona:

No Title

u_,tt - u_,xx = sin(u)

(1)

File translated from T_EX by T_TH, version 3.85.
On 09 Feb 2009, 19:07.

Dla przyzwyczajonych do standardowych oznaczen pochodnych czastkowych, to samo rownanie sinus-Gordona (czasem nazywane rowniez rownaniem "sine-Gordona"), co powyzej, zapisane wlasnie w tradycyjnych oznaczeniach pochodnych czastkowych:

Jak widac, jednak troszke sie rozni od tej pierwszej wersji: lewa strona ma znak przeciwny do lewej strony tamtego rownania. Bierze sie to stad, ze w pierwszym rownaniu uzywamy metryki z tzw. sygnatura (+,-) ,a w drugim - ze sygnatura (-,+). W kazdym razie konsekwencja uzycia takich metryk (w obu przypadkach mamy tzw. przestrzen Minkowskiego) jest to, iz kwadrat czasu wchodzi do wyrazenia na interwal czasoprzestrzenny ze znakiem przeciwnym, niz kwadrat odleglosci przestrzennej (w tym przypadku "x").

Zajecia z "Technik programowania" dla II r. Informatyki (studia stacjonarne)

Zadania na zajecia 18 pazdziernika 2012 r. (gr. L3 i L4)

Trochę linków :

Katedra Informatyki i Metod Komputerowych Uniwersytetu Pedagogicznego w Krakowie

Instytut Fizyki Uniwersytetu Pedagogicznego w Krakowie

Wydział Matematyczno-Fizyczno-Techniczny Uniwersytetu Pedagogicznego w Krakowie

Instytut Fizyki Uniwersytetu Jagiellońskiego

Wydzial Fizyki, Astronomii i Informatyki Stosowanej Uniwersytetu Jagiellońskiego

Wydział Fizyki Uniwersytetu Warszawskiego

Polskie Towarzystwo Fizyczne

Physics World

metody numeryczne

kurs jezyka C++

: UTC + 1

Dyzury:

czwartki, godz. 12:00 - 13:00 , pokoj 411 N.

Kontakt via e-mail - adresy e-mail podane na dole strony.

pokoj 411N (nowy budynek), tel. +48 12 662-78-54,
(ewentualnie proszę pytać w pokoju 402N, tel. +48 12 662-78-43, +48 12 662-78-44),

adresy email (prosze w pierwszej kolejnosci pisac na pierwszy adres e-mail):

lstepien@up.krakow.pl sfstepie@cyf-kr.edu.pl

PROSZE NIE UZYWAC W MAILACH POLSKICH LITER.

Ta strona została utworzona przy użyciu programu Extra Page 2.1 autorstwa Tomasza Majewskiego.
Informacje o programie i sam program można ściągnąć ze strony http://www.extrapage.com .