formalizm
Korpus Języka Polskiego PWN
Autentyczne przykłady użycia w piśmie i mowie zgromadzone w Korpusie
- ... że właściwa opozycja zachodzi gdzie indziej: nie pomiędzy konstruktywizmem a formalizmem, lecz pomiędzy tymi dwoma tendencjami a zagubioną czy porzuconą w...
- ... Rzeczywista różnica między Hilbertem a Brouwerem, a w konsekwencji: między formalizmem a intuicjonizmem, sprowadzała się do rozstrzygnięć w sprawie tego, co...
- ... uczczenia samego umysłu ludzkiego"
Hilbert sformułował pewien program badań, zwany formalizmem, którego celem było właśnie ugruntowanie i usprawiedliwienie matematyki. Nawiązywał przy... - ... do stanu końcowego ((...))
W niniejszej książce nie posługujemy się ścisłym formalizmem właściwym fizyce, poprzestając na ogół na opisowym, często makroskopowym czy...
- ... obozu, której nie wolno było kwestionować. Ta cała walka z formalizmem, z dekadencją, potem walka z wrogimi wpływami w literaturze i...
- ... wzmożenie potęgi. Filozofia znika; racjonalizm ginie sam przez się w formalizmie automatycznym, z drugiej zaś strony ujawniają się siły, dotąd utajone...
- ... między nimi, języka naturalnego i bazy wiedzy, w pewnym dostępnym formalizmie, jakim jest najczęściej język programowania (np. PROLOG, C+ + itp.). Ograniczenie...
- ... ang. reverse mathematics), o której powiemy dokładniej w rozdziale poświęconym formalizmowi. Stosuje się go tam w pewnych badaniach metamatematycznych pokazujących, iż...
- ... wypowiedzi o Stalinie, "nieśmiertelnym symbolu", i nowe wypady Porębskiego przeciw formalizmowi, koloryzmowi etc. Rzucam ten rocznik i biorę rok 1955. Oczy...
- ... funkcjonowaniem mózgu ludzkiego. Prowadzono też pierwsze prace nad tworzeniem pewnych formalizmów naukowych, dotyczących ludzkiego myślenia, które dałoby się przenieść i zaimplementować...
- ... kręgu żywotnej kultury średniowiecznej (patrz niżej pkt 5).
Z niebezpieczeństwa formalizmu i pedanterii zdawali sobie sprawę najwybitniejsi humaniści włoscy. Pietro Bembo... - ... napisał poważne studium o impresjonizmie, pełno zdań o "pozostałościach kosmopolitycznego formalizmu", o tym, jak "zarówno naturalistyczny, jak i formalistyczny typ myślenia...
- ... prowadzą one do pewnego zubożenia matematyki klasycznej.
3. FORMALIZM
Twórcą formalizmu był matematyk niemiecki David Hilbert (18621943), który swe poglądy... - ... zepsuta
nie do końca...formalizm
sam musiałeś zauważyć ilość "braku formalizmu" w sieci....nie lubię i nie muszę lubić
pytanie do... - ... omawianych efektów jest niezadawalające. Poszukiwanie ściślejszego modelu doprowadziło do zastosowania formalizmu teorii nadprzewodnictwa do opisu oddziaływań szczątkowych między parami nukleonów.
3... - ... w innych jednostkach organizacyjnych.
"Chcemy bezpośrednio przyczyniać się do eliminacji formalizmu i biurokracji, działać na rzecz dobrego prawa, w tym zwłaszcza... - ... musimy tu powiedzieć, że pojawiły się później pewne skrajne wersje formalizmu, w szczególności tzw. formalizm ścisły, reprezentowany głównie przez H. B...
- ... Frank, i inni członkowie tego wydziału znani byli ze swego formalizmu, to znaczy z obawy przed odstępstwami od uniwersyteckich wymagań i...
- ... w postaci ostatecznej i niezmiennej. Takie poglądy niebawem doprowadziły do formalizmu i puryzmu: wzory starożytne traktowano jako niepodważalne normy. Normą najszczytniejszą...
- ... oraz ich potencjały oddziaływania ((...))
Poczynione założenia stanowią wstęp do wprowadzenia formalizmu reakcji jądrowych, pozwalającego na określenie prawdopodobieństwa przejścia ze stanu początkowego...