En liste over 238 nye termer

[fredrik-bakke]

Hei! Her er en liste med 238 mulige oversettelser for termer fra alle grener av matematikken som ikke var i ordlista fra før av.

Forslag:

Bokmål,Nynorsk,Engelsk,Kommentar
kategoriteori,kategoriteori,category theory,
høyere kategoriteori,høgare kategoriteori,higher category theory,
uendeligkategoriteori,uendelegkategoriteori,infinity-category theory,
høyere algebra,høgare algebra,higher algebra,
toposteori,toposteori,topos theory,
høyere toposteori,høyere toposteori,higher topos theory,
ordensteori,ordensteori,order theory,
gruppeteori,gruppeteori,group theory,
ringteori,ringteori,ring theory,
perturbasjonsteori,perturbasjonsteori,perturbation theory,
kirurgiteori,kirurgiteori,surgery theory,
deformasjonsteori,deformasjonsteori,deformation theory,
differensiell topologi,differensiell topologi,differential topology,
algebraisk topologi,algebraisk topologi,algebraic topology,
differensiell geometri,differensiell geometri,differential geometry,
algebraisk geometri,algebraisk geometri,algebraic geometry,
punktløs topologi,punktløs topologi,point-free topology<br>pointless topology,"Bør ikke forvirres med 'meningsløs topologi'."
beregningsteori,berekningsteori,computation theory,
beregnbarhetsteori,bereknbarheitsteori,computability theory,
approksimasjonsteori<br>tilnærmingsteori,approksimasjonsteori<br>tilnærmingsteori,approximation theory,
kompleks analyse,kompleks analyse,complex analysis,
harmonisk analyse,harmonisk analyse,harmonic analysis,
fourieranalyse,fourieranalyse,Fourier analysis,
såldteori,såldteori,sieve theory,
flervariabel kalkulus,flervariabel kalkulus,multivariable calculus,
algebraisk K-teori,algebraisk K-teori,algebraic K-theory,
topologisk K-teori,topologisk K-teori,topological K-theory,
kodeteori,kodeteori,coding theory,
kompleksitetsteori,kompleksitetsteori,complexity theory,
domeneteori,domeneteori,domain theory,
kroppteori,kroppteori,field theory,
konform kroppteori,konform kroppteori,conformal field theory,
spillteori,spillteori,game theory,
grafteori,grafteori,graph theory,
informasjonsteori,informasjonsteori,information theory,
knuteteori,knuteteori,knot theory,
modellteori,modellteori,model theory,
modulteori,modulteori,module theory,
obstruksjonsteori,obstruksjonsteori,obstruction theory,
operatorteori,operatorteori,operator theory,
skjemateori,skjemateori,scheme theory,
aksiomatisk mengdelære,aksiomatisk mengdelære,axiomatic set theory,
Auslander-Reiten-teori,Auslander-Reiten-teori,Auslander–Reiten theory,
kobordismeteori,kobordismeteori,cobordism theory,
morseteori,morseteori,Morse theory,
matematisk logikk,matematisk logikk,mathematical logic,
klassisk matematikk,klassisk matematikk,clasical mathematics,
konstruktiv matematikk,konstruktiv matematikk,constructive mathematics,
intuisjonistisk matematikk,intuisjonistisk matematikk,intuitionistic mathematics,
rekreasjonell matematikk,rekreasjonell matematikk,recreational mathematics,
matematikkens grunnlag,matematikkens grunnlag,foundation of mathematics,
justeringsteori,justeringsteori,gauge theory,
abstrakt algebra,abstrakt algebra,abstract algebra,
operadeteori,operadeteori,operad theory,
rammeteori,rammeteori,frame theory,
kromatisk homotopiteori,kromatisk homotopiteori,chromatic homotopy theory,
universal algebra,universal algebra,universal algebra,"Brukes om fagfeltet."
beregningsmatematikk,berekningsmatematikk,computational mathematics,
modalitet,modalitet,modality,
modal,modal,modal,"Ordklasse: adjektiv"
modallogikk,modallogikk,modal logic,
modaloperator,modaloperator,modal operator,
univers,univers,universe,
underunivers,underunivers,subuniverse,
undertopos,undertopos,subtopos,
grothendiecktopos,grothendiecktopos,Grothendieck topos,
elementært topos,elementært topos,elementary topos,
reflektiv underkategori,reflektiv underkategori,reflective subcategory,
reflektivt underunivers,reflektivt underunivers,reflective subuniverse,
limingsegenskap,limingseigenskap,gluing property,
slakk funktor,slakk funktor,lax functor,
koslakk funktor,koslakk funtor,colax functor,
uendeligfunktor,uendelegfunktor,infinity-functor,
polynomiell funktor,polynomiell funktor,polynomial functor,
dinaturlig transformasjon,dinaturleg transformasjon,dinatural transformation,
kokjegle,kokjegle,cocone,
eksponentialobjekt,eksponentialobjekt,exponential object,
faktorisering,faktorisering,factorization,
løftingsproblem,lyftingsproblem,lifting problem,
faktoriseringssystem,faktoriseringssystem,factorization system,
svakt faktoriseringssystem,svakt faktoriseringssystem,weak factorization system,
ortogonalt faktoriseringssystem,ortogonalt faktoriseringssystem,orthogonal factorization system,
presentabel,presentabel,presentable,
presentabel kategori,presentabel kategori,presentable category,
lokalt presentabel kategori,lokalt presentabel kategori,locally presentable category,
representabel,representabel,representable,
representabel funktor,representabel funktor,representable functor,
kokomplettering,kokomplettering,cocompletion,
kokomplett,kokomplett,cocomplete,
endelig komplett,endelig komplett,finitely complete,
endelig kokomplett,endelig kokomplett,finitely cocomplete,
bikomplett,bikomplett,bicomplete,
endelig bikomplett,endelig bikomplett,finitely bicomplete,
kartesisk lukket kategori,kartesisk lukket kategori,Cartesian closed category,
lokalt kartesisk lukket kategori,lokalt kartesisk lukket kategori,locally Cartesian closed category,
koskjelett,koskjelett,coskeleton,
koskjelett-<br>koskjelettal-,koskjelett-<br>koskjelettal-,coskeletal,
diskret nerve,diskret nerve,discrete nerve,
globe,globe,globe,
globulær,globulær,globular,
globulær mengde,globulær mengd,globular set,
kubisk mengde,kubisk mengd,cubical set,
simplekskategori,simplekskategori,simplex category,
standard simpleks,standard simpleks,standard simplex,
kubekategori,kubekategori,cube category,
globekategori,globekategori,globe category,
type,type,type,
term,term,term,"Ordklasse: substantiv"
deltype<br>undertype,deltype<br>undertype,subtype,
identitetstype,identitetstype,identity type,
likhetstype,likskapstype,equality type,
type av likhetsbevis,type av likskapsbevis<br>type av likskapsprov,type of equality proofs,
stitype<br>veitype,stitype<br>vegtype,path type,
bebodd,bebudd,inhabited,
bebodd type,bebudd type,inhabited type,
bebodd mengde,bebudd mengd,inhabited set,
avhengig type,avhengig type,dependent type,
avhengig produkt,avhengig produkt,dependent product,
avhengig funksjon,avhengig funksjon,dependent function,
avhengig sum,avhengig sum,dependent sum,
avhengig par,avhengig par,dependent pair,
typefamilie,typefamilie,type family,
punktet type,punktet type,pointed type,
ekstensjonell,ekstensjonell,extensional,
ekstensjonalitet,ekstensjonalitet,extensionality,
funksjonekstensjonalitet,funksjonekstensjonalitet,function extensionality,
mengdeekstensjonalitet,mengdekstensjonalitet,set extensionality,
universekstensjonalitet,universekstensjonalitet,universe extensionality,
proposisjonsekstensjonalitet,proposisjonsekstensjonalitet,proposition extensionality,
Curry-Howard-korrespondansen,Curry-Howard-korrespondansen,Curry–Howard correspondence,
lambdakalkulus,lambdakalkulus,lambda calculus,
heytingalgebra,heytingalgebra,Heyting algebra,
medførelse,medføring,entailment,
definisjonell,definisjonell,definitional,
ulik,ulik,disequal,"I forstanden at venstre og høyre side ikke er like."
ulikhet,ulikhet,disequality,"I forstanden at venstre og høyre side ikke er like."
universell mengde,universell mengd,universal set,
selvmotsigelse,selvmotseiing,self-contradiction,
nødvendig,nødvendig,necessary,
nødvendighet,naudsyn,necessity,
tilfredsstille,tilfredsstille,satisfy,
tilfredsstilt,tilfredsstilt,satisfed,
tilfredsstillbar,tilfredsstillbar,satisfiable,
tilfredsstillbarhet,tilfredsstillbarskap,satisfiability,
induksjonsprinsipp,induksjonsprinsipp,induction principle,
rekursjonsprinsipp,rekursjonsprinsipp,recursion principle,
induktiv hypotese,induktiv hypotese,inductive hypothesis,
induktiv definisjon,induktiv definisjon,inductive definition,
induktivt argument,induktivt argument,inductive argument,
korekursjon,korekursjon,corecursion,
koinduksjon,koinduksjon,coinduction,
formasjonsregel,formasjonsregel,formation rule,
introduksjonsregel,introduksjonsregel,introduction rule,
eliminasjonsprinsipp,eliminasjonsprinsipp,elimination principle,
berekningsregel,berekningsregel,computation rule,
entydighetsprinsipp,eintydingsprinsipp,uniqueness principle,
velgrunnlagt,velgrunnlagt,well-founded,
negasjonsbevis,negasjonsbevis<br>negasjonsprov,proof of negation,
bevisassistent,bevisassistent<br>provassistent,proof-assistant,
homotopiinvariant,homotopiinvariant,homotopy invariant,
fibrant utbytte,fibrant utbytte,fibrant replacement,
kofibrant utbytte,kofibrant utbytte,cofibrant replacement,
stirom<br>veirom,stirom<br>vegrom,path space,
nøktern<br>nykter,nøktern,sober,"Ordklasse: adjektiv"
nøkternt rom<br>nyktert rom,nøkternt rom,sober space,
lineær vekst,lineær vekst,linear growth,
sublineær vekst,sublineær vekst,sublinear growth,
superlineær vekst,superlineær vekst,superlinear growth,
supereksponentiell vekst,supereksponentiell vekst,superexponential growth,
superpolynomiell vekst,superpolynomiell vekst,superpolynomial growth,
sublogaritmisk vekst,sublogaritmisk vekst,sublogarithmic growth,
asymptotisk kompleksitet,asymptotisk kompleksitet,asymptotic complexity,
uttømmende søk,uttømmande søk,exhaustive search,
Dijkstras algoritme,Dijkstras algoritme,Dijkstra's algorithm,
bakoverpropagering,bakoverpropagering,backpropagation,
splitt-og-hersk,splitt-og-hersk,divide-and-conquer,
primtallsfaktorisering,primtalsfaktorisering,prime factorization,
primtallssåld,primtalssåld,prime sieve,
Erathostenes såld,Erathostenes såld,sieve of Eratosthenes,
Sundarams såld,Sundarams såld,sieve of Sundaram,
Atkins såld,Atkins såld,sieve of Atkin,
aritmetisk rekke,aritmetisk rekkje,arithmetic series,
geometrisk rekke,geometrisk rekkje,geometric series,
flervariabel funksjon,flervariabel funksjon,multivariable function,
fraktalkurve,fraktalkurve,fractal curve,
fraktaldimensjon,fraktaldimensjon,fractal dimension,
kochsnøflaket,kochsnøflaket,Koch snowflake,
cantorfunksjonen,cantorfunksjonen,Cantor function,
weierstrassfunksjonen,weierstrassfunksjonen,Weierstrass function,
epsilon-delta-bevis,epsilon-delta-bevis<br>epsilon-delta-prov,epsilon-delta proof
gjennomsnitt,gjennomsnitt,mean<br>average,
bevegende gjennomsnitt,bevegande gjennomsnitt,moving average,
dimensjonsanalyse,dimensjonsanalyse,dimensional analysis,
transitiv gruppevirkning,transitiv gruppeverknad,transitive group action,
preordning<br>førordning,preordning<br>førordning,preorder,
kjedehomotopi,kjedehomotopi,chain homotopy,
C*-algebra,C*-algebra,C*-algebra,
Russels paradoks,Russels paradoks,Russel's paradox,
Banach-Tarski-paradokset,Banach-Tarski-paradokset,Banach–Tarski paradox,
velordningsteoremet,velordingsteoremet,well-ordering theorem,
Tychonoffs teorem,Tychonoffs teorem, Tychonoff's theorem,
Cox-Zucker-maskinen,Cox-Zucker-maskinen,Cox–Zucker machine,
abc-formodningen,abc-formodningen,abc conjecture,
collatzformodningen,collatzformodningen,Collatz conjecture,
kontinuumshypotesa,kontinuumshypotesa,continuum hypothesis,
den eksluderte midts lov,den eksluderte midts lov,law of excluded middle,
duehullsprinsippet,duehullsprinsippet,pigeonhole principle,
domene,domene,domain,
kodomene,kodomene,codomain,
eliminasjon,eliminasjon,elimination,
predikat,predikat,predicate,
prinsipp,prinsipp,principle,
paradoks,paradoks,paradox,
korrespondanse,korrespondanse,correspondence,
kardinal,kardinal,cardinal,
tilgjengelig,tilgjengeleg,accessible,
grensekardinal,grensekardinal,limit cardinal,
etterfølger,etterfølger,successor,
forgjenger,forgjenger,predecessor,
tilstrekkelighet,tilstrekkelegheit,sufficiency,
refleksivitet,refleksivitet,reflexivity,
punktet mengde,punktet mengd,pointed set,
førsteordens logikk,førsteordens logikk,first-order logic,
isotropi,isotropi,isotropy,
diagrammatisk,diagrammatisk,diagrammatic,
regulær,regulær,regular,
språk,språk,language,
syntetisk,syntetisk,synthetic,
motiv,motiv,motive,
liming,liming,gluing,
konform,konform,conformal,"Ordklasse: adjektiv"
konform avbildning,konform avbilding,conformal map<br>conformal mapping,
modell,modell,model,
knute,knute,knot,"Som brukt i topologi."
intensjonell,intensjonell,intensional,
ekstrinsisk,ekstrinsisk,extrinsic,
intrinsisk,intrinsisk,intrinsic,

Merknad: Jeg beklager om noen av nynorskoversettelsene er ukorrekte; nynorsken min er ikke spesielt god. I tillegg har jeg et spørsmål. Er ikke "sil" en annen oversettelse for "sieve" som bør behandles på lik linje som "såld"?

Håper dette er til hjelp! :)

[bervinator]

Takk! Her er det mange godsaker! Enkelte av disse termene har blitt diskutert før, og har blitt satt vekk av ulike årsaker. Jeg ser likevel for meg at en stor andel kan komme med.

Ang. siler og sålder: Denne har vi diskutert i prosjektgruppen. Vi landet på at oversettelsen såld er mer etablert.

[fredrik-bakke]

Ser nå at "grothendieckunivers" allerede finnes i ordlista, så jeg fjerner dette fra lista.