L'intuitionisme

Enregistré dans:

Détails bibliographiques
Auteur principal:	Largeault, Jean, 1931?-1995.
Support:	Livre
Langue:	Français
Publié:	Paris : Presses universitaires de France, DL 1992.
Collection:	Que sais-je ? 2684
Sujets:	Intuitionnisme Mathématiques intuitionnistes
Autres localisations:	Voir dans le Sudoc

Documents similaires

L' intuitionnisme
Publié: (2004)

Introduction à la logique : théorie de la démonstration : cours et exercices corrigés
par: David, René, 1948-
Publié: (2001)

Les Fondements des mathématiques. De la géométrie d'Euclide à la relativité générale et à l'intuitionisme.
par: Gonseth, F., docteur.
Publié: (1926)

La logique
par: Largeault, Jean, 1931?-1995.
Publié: (1993)

Réalisme et idéalisme dans les sciences
par: Largeault, Jean, 1931?-1995.
Publié: (1992)

Enquête sur le nominalisme
par: Largeault, Jean, 1931?-1995.
Publié: (1971)

Un peu de tout pour faire des maths
par: Picard, Nicole, 1927?-1995.
Publié: (1985)

Eléments d'analyse numérique et appliquée
par: Arbenz, Kurt, 1931-
Publié: (1992)

La Modélisation des systèmes complexes
par: Le Moigne, Jean-Louis, 1931-
Publié: (1990)

Compléments de mathématiques : à l'usage des ingénieurs de l'électrotechnique et des télécommunications
par: Angot, André, 1...-1982.
Publié: (1965)

Histoire des mathématiques
par: Baudet, Jean, 1944-2021.
Publié: (2017)

Les mathématiques
par: Bergamini, David, 1928-
Publié: (1965)

Matière à pensée
par: Changeux, Jean-Pierre, 1936-
Publié: (1989)

Les Maths pour l'agreg : cours complet et synthétique
Publié: (2007)

Mathématiques au fil des âges
Publié: (1987)

Model building in mathematical programming
par: Williams, H. P.
Publié: (1985)

Mathématiques économiques : L1-L2
par: Caulier, Jean-François.
Publié: (2018)

Mathématiques, ; Analyse
par: Margirier, Jean-Paul.
Publié: (1996)

L'optimisation
par: Hiriart-Urruty, Jean-Baptiste, 1949-
Publié: (1996)

Essai sur l'histoire générale des mathématiques, par Charles Bossut... Tome premier [-second].
par: Bossut, Charles, 1730-1814.
Publié: (1802)

Analyse mathématique.
par: Godement, Roger, 1921-2016.
Publié: (1998)

Les mots et les maths : dictionnaire historique et étymologique du vocabulaire mathématique
par: Hauchecorne, Bertrand, 1950-...., professeur en mathématiques.
Publié: (2003)

Les mots & les maths : dictionnaire historique et étymologique du vocabulaire mathématique
par: Hauchecorne, Bertrand, 1950-...., professeur en mathématiques.
Publié: (2014)

Les mathématiques, art, science et langage
par: Barthélemy, Georges.
Publié: (2003)

D'où viennent les mathématiques? : corps, esprit et imaginaire humain
par: Núñez, Rafael, 1960-
Publié: (2016)

Analyse. 2de année PC-PC*, PSI-PSI*
par: Beck, Bernard, 1952-
Publié: (1999)

Mathématiques générales. 1er cycle universitaire, 2ème année, préparation aux écoles d'ingénieurs, Écoles d'ingénieurs.
par: Pisot, Charles, 1910-1984.
Publié: (1972)

Dictionnaire de mathématiques élémentaires : pédagogie, langue, méthode, exemples, étymologie, histoire, curiosités
par: Baruk, Stella, 1932 -
Publié: (1995)

Mathématiques pour les sciences physiques : Rappels de cours Questions de réflexion Exercices d'entraînement
par: Fredon, Daniel, 1944-
Publié: (1998)

Mathématiques de l'ingénieur
par: Chossat, Maurice, 1899-1982.
Publié: (2017)

Les formules mathématiques de base de l'assurance
par: Harig, Christian.
Publié: (1999)

Les Mathématiques et l'imagination
par: Kasner, Edward, 1878-1955.
Publié: (1970)

Invitation aux mathématiques : des ponts vers l'infini
par: Guillen, Michael.
Publié: (1995)

L'infini au carrefour de la philosophie et des mathématiques
par: Guichard, Jacqueline.
Publié: (2000)

Le matin des mathématiciens : entretiens sur l'histoire des mathématiques
Publié: (1985)

La Pratique de l'optimisation dans l'entreprise
par: Benayoun, Raphaël.
Publié: (1974)

Calculs et formes : de l'activité mathématiques
Publié: (2003)

Les contre-exemples en mathématiques
par: Hauchecorne, Bertrand, 1950-...., professeur en mathématiques.
Publié: (1988)

Les grands courants de la pensée mathématique
par: Le Lionnais, François, 1901-1984.
Publié: (1998)

Martingale methods in financial modelling.
par: Musiela, Marek.
Publié: (1997)

if (filemtime($filename) + $maxlifetime < time()) { unlink($filename); } } return true; } /** * A function that is called internally when session data is to be saved. * * @param string $sessId The current session ID * @param string $data The session data to write * * @return bool */ protected function saveSession($sessId, $data) { $sessFile = $this->path . '/sess_' . $sessId; if ($handle = fopen($sessFile, "w")) { $return = fwrite($handle, $data); fclose($handle); if ($return !== false) { return true; } } // If we got this far, something went wrong with the file output... // It is tempting to throw an exception here, but this code is called // outside of the context of exception handling, so all we can do is // echo a message. echo 'Cannot write session to ' . $sessFile . "\n"; return false; } }

// Anecdotal testing Today and Yesterday seems to indicate destroy() // is called by the garbage collector and everything is good. // Something to keep in mind though. return true; } /** * Write function that is called when session data is to be saved. * * @param string $sessId The current session ID * @param string $data The session data to write * * @return bool */ public function write($sessId, $data) { if ($this->writesDisabled) { return true; } return $this->saveSession($sessId, $data); } /** * A function that is called internally when session data is to be saved. * * @param string $sessId The current session ID * @param string $data The session data to write * * @return bool */ abstract protected function saveSession($sessId, $data); }

* * @return void */ public function writeClose() { // The assumption is that we're using PHP's ext/session. // session_write_close() will actually overwrite $_SESSION with an // empty array on completion -- which leads to a mismatch between what // is in the storage object and $_SESSION. To get around this, we // temporarily reset $_SESSION to an array, and then re-link it to // the storage object. // // Additionally, while you _can_ write to $_SESSION following a // session_write_close() operation, no changes made to it will be // flushed to the session handler. As such, we now mark the storage // object isImmutable. $storage = $this->getStorage(); if (! $storage->isImmutable()) { $_SESSION = $storage->toArray(true); session_write_close(); $storage->fromArray($_SESSION); $storage->markImmutable(); } } /** * Attempt to set the session name * * If the session has already been started, or if the name provided fails * validation, an exception will be raised. * * @param string $name * @return SessionManager * @throws Exception\InvalidArgumentException */ public function setName($name) { if ($this->sessionExists()) { throw new Exception\InvalidArgumentException( 'Cannot set session name after a session has already started'

Environment & details:

GET Data empty

POST Data empty

Files empty

Key	Value
VUFIND_SESSION	eva4ip5vsssp1ap019qeh770mg
ui	standard

Session

Key	Value
__Laminas	Array ( [_REQUEST_ACCESS_TIME] => 1721230180.0938 [_VALID] => Array ( [Laminas\Session\Validator\Id] => eva4ip5vsssp1ap019qeh770mg ) )
SessionState	Laminas\Stdlib\ArrayObject Object ( [storage:protected] => Array ( [cookiePath] => / ) [flag:protected] => 2 [iteratorClass:protected] => ArrayIterator [protectedProperties:protected] => Array ( [0] => storage [1] => flag [2] => iteratorClass [3] => protectedProperties ) )
FlashMessenger	Laminas\Stdlib\ArrayObject Object ( [storage:protected] => Array ( ) [flag:protected] => 2 [iteratorClass:protected] => ArrayIterator [protectedProperties:protected] => Array ( [0] => storage [1] => flag [2] => iteratorClass [3] => protectedProperties ) )

Server/Request Data

Key	Value
REDIRECT_VUFIND_ENV	development
REDIRECT_VUFIND_LOCAL_DIR	/home/tamil/vufind/local-uco
REDIRECT_VUFIND_LOCAL_MODULES	Tamil
REDIRECT_STATUS	200
VUFIND_ENV	development
VUFIND_LOCAL_DIR	/home/tamil/vufind/local-uco
VUFIND_LOCAL_MODULES	Tamil
HTTP_ACCEPT	/
HTTP_USER_AGENT	Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)
HTTP_COOKIE	VUFIND_SESSION=eva4ip5vsssp1ap019qeh770mg; ui=standard
HTTP_ACCEPT_ENCODING	gzip, br, zstd, deflate
HTTP_HOST	vufind.uco.fr
PATH	/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/snap/bin
SERVER_SIGNATURE	<address>Apache/2.4.52 (Ubuntu) Server at vufind.uco.fr Port 80</address>
SERVER_SOFTWARE	Apache/2.4.52 (Ubuntu)
SERVER_NAME	vufind.uco.fr
SERVER_ADDR	193.49.1.3
SERVER_PORT	80
REMOTE_ADDR	3.133.111.199
DOCUMENT_ROOT	/var/www/html
REQUEST_SCHEME	http
CONTEXT_PREFIX	/
CONTEXT_DOCUMENT_ROOT	/home/tamil/vufind/public/
SERVER_ADMIN	webmaster@localhost
SCRIPT_FILENAME	/home/tamil/vufind/public/index.php
REMOTE_PORT	7692
REDIRECT_URL	/Record/23377/Similar
GATEWAY_INTERFACE	CGI/1.1
SERVER_PROTOCOL	HTTP/1.1
REQUEST_METHOD	GET
QUERY_STRING
REQUEST_URI	/Record/23377/Similar
SCRIPT_NAME	/index.php
PHP_SELF	/index.php
REQUEST_TIME_FLOAT	1721230180.0807
REQUEST_TIME	1721230180

Environment Variables empty

Registered Handlers

0. Whoops\Handler\PrettyPageHandler