Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.
AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.
En philosophie analytique, le terme antiréalisme décrit toute position impliquant le refus d'une réalité objective. Ainsi, on peut parler de l'antiréalisme à l'égard des , du passé, du futur, des universaux, des entités mathématiques (telles que les entiers naturels), des catégories morales, du monde matériel ou même de la pensée. Deux interprétations sont clairement distinctes mais souvent confondues. Par exemple, un « antiréaliste » qui nie que d'autres esprits existent (c'est-à-dire un solipsiste) est tout à fait différent d'un « antiréaliste » qui prétend qu'il n'est pas question de savoir si oui ou non il existe d'autres esprits non observables (par exemple, un behavioriste logique). Le terme est forgé par Michael Dummett, qui l'introduit dans son article Realism afin de reconsidérer un certain nombre de différends philosophiques classiques impliquant des doctrines telles que le nominalisme, le réalisme conceptuel, l'idéalisme et le phénoménisme. La nouveauté de l'approche de Dummett consiste à voir ces différends comme analogues au différend entre intuitionnisme et platonisme en philosophie des mathématiques. Selon les intuitionnistes (antiréalistes à l'égard des objets mathématiques), la vérité d'un énoncé mathématique consiste en notre capacité à le prouver. Selon les platoniciens (réalistes), la vérité d'un énoncé consiste en sa correspondance à la réalité objective. Ainsi, les intuitionnistes sont prêts à accepter une déclaration de la forme P ou Q comme vraie seulement si nous pouvons prouver P ou si nous pouvons prouver Q : Ceci est appelé la . En particulier, nous ne pouvons en général prétendre que P ou non P est vrai (voir principe du tiers exclu), puisque dans certains cas nous pourrions ne pas être en mesure de prouver l'énoncé P ni prouver l'énoncé non P. De même, les intuitionnistes s'opposent à la pour la logique classique, où l'on peut prouver , sans être en mesure de produire un terme dont dépend . Dummett soutient que la notion intuitionniste de la vérité se trouve au fond de diverses formes classiques d'antiréalisme.
[2]Paolo Prandoni, [3]LCAV, EPFL
The Karplus-Strong algorithm is a simple method to generate synthetic
sounds with arbitrary pitch. In this notebook we will explore a few
variations of the method to illustrate some basic notions of
discrete-time signal processing.
In [1]:
%matplotlib inline
import matplotlib
import matplotlib.pyplot as plt
import numpy as np
import IPython
In [2]:
plt.rcParams["figure.figsize"]