Andrzej Mostowski





image illustrant un mathématicien


Cet article est une ébauche concernant un mathématicien.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.






Andrzej Mostowski


Andrzej Mostowski (1er novembre 1913 – 22 août 1975) était un mathematicien polonais.
En 1938, il reçoit le doctorat en mathématiques de l'université de Varsovie.


Il fut principalement spécialisé en logique mathématique. En théorie des ensembles il a entre autres travaillé sur la cohérence relative de la négation de l'axiome du choix, perfectionnant et généralisant une méthode due orginellement à Abraham Fraenkel et connue aujourd'hui sous le nom de méthode de permutation de Fraenkel-Mostowski. Bien que cette méthode utilise de façon essentielle une théorie des ensembles avec atomes, elle a pu, combinée avec le forcing de Paul Cohen, être transposée à la théorie des ensembles ZFC.


Mostowski a travaillé également en théorie des modèles et en théorie de la calculabilité.



Bibliographie |



  • Sentences Undecidable in Formalized Arithmetic: An Exposition of the Theory of Kurt Godel, North-Holland, Amsterdam, 1952. (ISBN 978-0313231513)


Liens externes |




  • Notices d'autoritéVoir et modifier les données sur Wikidata : Fichier d’autorité international virtuel • International Standard Name Identifier • Bibliothèque nationale de France (données) • Système universitaire de documentation • Bibliothèque du Congrès • Gemeinsame Normdatei • Bibliothèque royale des Pays-Bas • Bibliothèque universitaire de Pologne • Bibliothèque nationale tchèque • WorldCat


  • Biographie Mac Tutor, J J O'Connor and E F Robertson.



  • Portail de la logique Portail de la logique
  • Portail des mathématiques Portail des mathématiques



-

Popular posts from this blog

How to ignore python UserWarning in pytest?

Image
up vote 1 down vote favorite I am using openpyxl for parsing .xlsm files, and pytest for testing. When I open a file, I get the: OpenPyxl -> UserWarning: Data Validation extension is not supported and will be removed That is not really a problem bcs. program works and I can't change the .xlsm file to fix that. But... When I run pytest with something like: def test_wrong_file_format(): assert check_excel(open_excel('file.xlsm')) == True I will get the warning i mentioned altought check_excel(open_excel('file.xlsm')) returns True and the test should suceed... Is there a nice way to tell the pytest that "It's not a bug it's a feature" and tests should pass even when they get this warning? Is there other way than using something like: with pytest.warns(UserWarning): ...
Read more

Script to remove string up to first number

Image
up vote -2 down vote favorite I need to write a script that will look through a folder and strip out the text from a string of an image. image-w-inch-bob-bob-bob-bob-8820-AV1.jpg image-w-inch-bob-bob-bob-bob-8820-AV2.jpg image-w-inch-bob-bob-bob-bob-8820-AV3.jpg image-w-inch-bob-bob-bob-bob-8820-AV4.jpg image-w-inch-bob-bob-bob-bob-8820-AV5.jpg image-w-inch-bob-bob-bob-bob-8820-AV6.jpg I need this to be renamed to 8820-AV1.jpg 8820-AV2.jpg 8820-AV3.jpg 8820-AV4.jpg 8820-AV5.jpg 8820-AV6.jpg Does anyone know of a script like this? python linux bash share | improve this question edited Nov 21 at 22:22 ...
Read more

Service Worker FechtEvent.respondWith response is null on iOS 12.1 Safari

Image
0 I can download the website using the service Worker on Android Chrome, macOS Chrome as well as Safari and on Windows Chrome for offline use. When I try to download the website to iOS 12.1 Safari it works first. But when I close Safari, go offline and reopen Safari, I get the following error message : Safari can't open the Site. Error: "FetchEvent.respondWith received an error: TypeError: There seems to be no connection to the Internet." ==== AND in the console ==== FetchEvent.respondWith received an error: Returned response is null Below you can see the scripts in text form. Unfortunately, I can hardly report anything about the problem, because I don't understand it and hope for some knowledgeable people :) index.html <!DOCTYPE html> <html lang="en...
Read more