1964年から1965年にかけてモスクワのアンドレイ・コルモゴロフのもとで学び、ランダム系列に関する研究を行う。1968年から1969年にかけてはシカゴ大学助教授を務め、ここでウィリアム・ハワードとカリー＝ハワード対応に関して議論している。1971年には型理論に関する最初の草稿を書き上げているが、この最初の非可述体系はジャン＝イヴ・ジラールによって矛盾していることが示された（ジラールのパラドックス）。これをきっかけに型理論の概念的基礎の探求へと導かれていったマルティン＝レーフは、1984年の著作で提示した可述型理論を正当化するための証明論的意味論を展開し、またこれに関連していくつかの哲学的著作も発表している。
ペール・マルティン＝レーフ (Per Martin-Löf, 1942年 - ) はスウェーデンの論理学者、哲学者、数学者。直観主義的型理論の創案者として知られる。２００９年までストックホルム大学数学部および哲学部教授を務めた。
北海道開拓使時代に、十勝地方でバッタが大発生し、各地で蝗害をもたらしていた。バッタは札幌にも飛来し、その後毎年のように大発生し農作物は食べ尽されていった。人々はバッタを減らすために、幼虫を追い込んで穴に埋めたり、鋤でつぶしたり、野焼きをするなどした。雨が降れば卵が溺れ死ぬという事で、雨乞いのために大砲まで撃ったとも言われている。その後、明治政府は被災者の救済も兼ねて市中から卵を買い集め、砂地だったこの地に埋めて、バッタを減らそうとした。蝗害の根絶を願ってそこに建てられたものがバッタ塚である。バッタ塚は十勝地方などにも多く見られ、札幌市内にもいくつか存在したが、同市内において現存するものは手稲山口バッタ塚のみである。
1994年（平成6年）5月26日午前4時30分頃、千葉県富津市湊町の国道127号線でJRバス関東館山支店の貸切バスが右カーブを走行中、対向してきた2tトラックが居眠り運転によりセンターラインを越えてきて、当該のバスと正面衝突した。。事故の直接の原因は対向車の運転ミスだが、大型バスと小型トラックの正面衝突によりバスの運転士だけが死亡する事故は異例であり、このバスの低運転台構造に運転士を死亡させる危険性がある可能性が示された。
「山寨」とは『水滸伝』に由来する言葉で、本来は「山に囲まれた塞、山賊のすみか」という意味を持ち、要するに梁山泊のことである。そこから転じて「模倣、ニセモノ、ゲリラ」などを指す、どちらかと言えば否定的な言葉であった。しかし、近年では、「反主流の文化の代表」という肯定的な意味でも使われるようになった言葉である。言うなれば、模倣・ニセモノに文化としての価値を見出す用語が山寨である。過去にはコンピュータや家電製品などの山寨机（山寨機）がブームとなった。2000年代には山寨手机（山寨携帯電話）がブームとなったが、正規ブランド品が安価に供給されようになると廃れる運命にある。都市の外観そのものを模倣した山寨建築も不動産バブル崩壊で鬼城と呼ばれるゴーストタウンとなった。山寨智能手机（山寨スマホ）ブームが終了した後の2010年代中盤の現在は、kickstarterなどのクラウドファンディングでアイデアを公開して資金を集めている商品を先に勝手に作ってしまうkickstarterブームの最中。kickstarterで成功したプロダクトが先に山寨に作られて阿里巴巴で販売されてしまい、自分が参入する頃には市場がコピー品であふれかえっていて死にそうになるのを中国語で「山寨死」と呼ぶが、逆にkickstarterで失敗したプロダクトを勝手に作ってくれている例や、実際にプロダクトを作れるかどうかわからないメーカーと契約するよりも既にプロダクトを製造できる技術があることが判明している山寨メーカーと正式契約して公式のプロダクトを作らせた例すらある。エリート階層が主導するイノベーションではなく、草の根が主導する模倣の積み重ねによるイノベーションを「山寨精神」と呼ぶ。山寨机は完全な模倣品ではないユニークな製品が多い。一方、単なるコピーは「盗版」（日本語でいう海賊版）と呼ばれ、イノベーションを感じる「山寨」とは区別されている。現代の山寨は広東省の深圳にある。ここではサムスン電子、鴻海精密工業などのハイテク企業の製造工場とその下請け工場が集積しているが、大手の要求に応えられる高い技術を持ちながら世間に評価されない中小工場らが様々な法的にグレーな山寨机を作っている。深圳の竜華区にはこれらの工場に労働者を紹介する職業紹介業者が集まる『三和人力市場』が形成されている。ここからインターネットやスマートフォンを使いこなし電子部品工場での組み立て作業をこなせる90後世代が工場に供給されているが多くは日雇いであり、仕事を終えると数日間オンラインのゲームやギャンブルで散財し、また日雇の仕事を探すという自堕落な生活スタイル『三和大神』に陥る者も多いという。深圳の特筆すべきは、山寨メーカーの多さよりもそのスピードで、企画から製造・販売に至るまでのエコシステムが完備されているため商品化までの時間が短いことである。そのため、海外の起業家がネットのクラウドファンディングサイトに企画を発表して資金を集めきる以前に、深圳の山寨メーカーが企画を横取りして資金を集めメーカーに製造させてネットで販売するところまで持ち込むことができる。そのネットよりも早いスピードを見越して、深圳には自分のアイデアを山寨メーカーに作らせようとするベンチャー起業家なども集まり、ついにはオリジナル製品で世界市場に進出したり、大手メーカーと公式に契約する山寨メーカーも現れている（2016年現在）。深圳市福田区にある世界最大の電子部品街「華強北」ではあらゆる山寨机用のパーツが売られており、iPhoneと限りなくそっくりの盗版やiPhoneの本物を超える機能を持つ山寨机どころかiPhone本物のパーツを使用した本物すら作れるほどであるが、山寨スマホブームの終了と、当局の指導によって、VRやドローンなど次のブームを模索しながら徐々に普通の電気街になりつつあり、1980年代の秋葉原を髣髴とさせるような混沌ぶりは無くなりつつある（2017年現在）。