Resultats de la cerca
Es mostren 12 resultats
Leopold Kronecker
Matemàtiques
Matemàtic alemany.
Professor a la Universitat de Berlín, estudià les funcions ellíptiques i féu progressar la teoria dels nombres Important també per la seva filosofia de les matemàtiques, no acceptà les idees innovadores del seu deixeble GCantor i mantingué polèmiques amb Weierstrass i Dedekind
valuació
Matemàtiques
Funció que fa correspondre a cada proposició el seu valor de veritat, si aquest existeix.
En el cas de la lògica binària clàssica els únics valors de veritat que s’admeten són veritat 1 i fals 0, però en les lògiques polivalents hom accepta un tercer valor 1/2 que admet interpretacions diverses per exemple, possible o indeterminat La taula de veritat bivaluada o polivalent de dues proposicions reflecteix totes les possibles valuacions o assignacions de valors de veritat
Alan Mathison Turing
Matemàtiques
Matemàtic, filòsof i criptògraf anglès.
Ideà el concepte teòric d’una màquina calculadora universal, que és anomenada màquina de Turing Treballà especialment en el camp de la lògica matemàtica i s’interessà per la intelligència artificial La seva activitat fou fonamental per a desxifrar el codi Enigma alemany, fet que contribuí a posar fi a la Segona Guerra Mundial i a salvar milers de vides El 1952 fou condemnat per pràctiques homosexuals illegals a la Gran Bretanya fins el 1967, i per evitar la presó acceptà ser sotmès a una castració química La condemna l’obligà a abandonar la seva feina al Quarter General de Comunicacions del…
problema de les paraules
Matemàtiques
Problema d'àlgebra.
D’una banda si hom disposa d’un alfabet finit OOO = {a 1 ,,a n } i, per concatenació, construeix els mots M = ζ 1 ζ r , on cada símbol ζ i és una de les lletres a j ∈ OOO d’aquest alfabet i r ∈ ℕ si, d’altra banda, hom disposa d’un cert diccionari que estableix l’equivalència de certes parelles de mots i, finalment, hom accepta el fet que, en substituir en un mot M = M 1 mM 2 un cert sumbmot m per un altre mot m´ equivalent, obté un mot equivalent M´ = M 1 m' M 2 Cal plantejar la pregunta següent donats dos mots arbitraris M i N , hi ha algun algorisme que permeti de decidir si…
intuïcionisme
Matemàtiques
Corrent del pensament matemàtic, nascut a la segona meitat del s XIX.
Propugna que la matemàtica és l’estudi d’uns tipus de construccions mentals en les quals els objectes que hom maneja han d’ésser definits donant un criteri que en permeti la construcció i on el llenguatge emprat, sigui ordinari o simbòlic, només és un instrument auxiliar i no una part essencial de les construccions formalisme Hom accepta que la matemàtica intuïcionista és formada de tot allò que és conseqüència segons les normes de la lògica intuïcionista de la construcció de la successió dels nombres naturals ℕ, de la qual resulten evidents els axiomes de Peano base de la…
Josep de Saragossa i Vilanova
Astronomia
Matemàtiques
Matemàtic i astrònom.
Mestre en arts a la Universitat de València, interessat des de jove per les matemàtiques, no acceptà una càtedra a la universitat per professar a la Companyia de Jesús Residí en diverses ciutats, fou professor al collegi de l’orde a Mallorca, on estigué en contacte amb l’historiador i matemàtic Vicent Mut Ensenyà després a Barcelona, i el 1660 passà al collegi de Sant Pau de València, on es dedicà a l’estudi i l’ensenyament de matemàtiques i a l’observació astronòmica El 1670 fou nomenat titular de la càtedra de matemàtiques del collegi de Sant Isidre de Madrid, on restà els darrers anys de…
test d’hipòtesis estadístiques
Matemàtiques
Donada una mostra de grandària n
, (
x 1
,...,x n
), formada per n
realitzacions o observacions independents d’un cert fenomen o experiment.
Aquest mètode permet de decidir, a partir de les dades observades, si una hipòtesi estadística que hom ha fet sobre el model probabilístic del fenomen és correcta o no ho és Aquesta decisió hauria d’ésser presa sempre amb un cert grau d’incertesa Els problemes que tracta de resoldre aquesta teoria poden ésser, per exemple, decidir quin dels dos mètodes diferents de fabricació de bombetes elèctriques dóna una mida mitjana més gran, o bé saber, a partir d’una sèrie d’anàlisis, si un malalt té una certa malaltia Sovint el model probabilístic consisteix en una llei de probabilitat teòrica donada…
medalla Fields
Matemàtiques
Premi concedit per la Unió Matemàtica Internacional durant la celebració, cada quatre anys, del Congrés Internacional de Matemàtics, a eminents matemàtics en actiu.
Fou creat i dotat pel matemàtic canadenc John Charles Fields Hamilton, Ontario, 14 de maig de 1863 – Toronto, Ontario, 9 d’agost de 1932 durant el congrés de Toronto de l’any 1924 i començà d’ésser concedida el 1936 Tradicionalment s’atorga a matemàtics de menys de quaranta anys Juntament amb el premi Abel és el màxim reconeixement internacional als matemàtics, i sovint són considerats l’equivalent del premi Nobel de les matemàtiques Relació de guardonats Any Guardonats 1936 Lars Ahlfors Finlàndia i Jesse Douglas Estats Units d’Amèrica 1950 Laurent Schwartz França i Atle Selberg Noruega…
nombre natural
Matemàtiques
Nombre que serveix per a comptar els elements d’un conjunt.
La manera més freqüent de representar els nombres naturals és el sistema de numeració decimal, i el conjunt dels nombres naturals acostuma a ésser representat amb la lletra ℕ En la concepció dels nombres naturals, i també de les altres menes de nombres, hom pot donar prioritat a l’aspecte intuïtiu o a l’aspecte lògic Des del punt de vista intuïtiu, un nombre natural és una qualitat dels conjunts equipotents així, la classe de tots els conjunts equipotents amb el conjunt { X o Δ} és el nombre tres L’operació “unió de conjunts sense elements comuns” engendra l’operació de “sumar nombres…
demostració
Lògica
Matemàtiques
Derivació d’un enunciat, mitjançant l’aplicació d’unes determinades regles lògiques, a partir d’uns altres enunciats, dits premisses de la demostració.
Qualsevol cadena de demostracions ha d’arrencar d’un conjunt finit de premisses no demostrables, els axiomes Aquest conjunt és anomenat el sistema dels axiomes de la teoria deductiva, i els enunciats que són demostrats a partir dels axiomes s’anomenen teoremes Identificada, en la teoria platònica, amb la definició, Aristòtil la considerà com un procés superior, adreçat a extreure, mitjançant el sillogisme, una conclusió a partir d’unes premisses certes L’escolàstica s’adherí a l’esquema aristotèlic i n'elaborà una classificació propter quid , ad intellectum , ad sensum , a priori , a…