Pessoal, eu consegui resolver. Mas para isso tive que fazer 2 coisas: primeiro comprar um adaptador usb-rj45, e segundo restaurar uma sessão salva no meu time machine. Primeiro eu entrei no recovery com a internet ligada via cabo pelo adaptador usb-rj45, e depois de ter acessado o utilitário de recuperação eu recuperei essa sessão que estava salva num hd externo que eu tenho. Valeu pelas dicas aí.
Pedro Paulo Gattai Gomes recebeu reputação de Bruno Régis Duarte em Macbook Air não carrega mais depois de formatar